Eine Function ist ein Kontext, der vorzeitig mit einer return- oder assert-Anweisung verlassen werden kann, aber nicht mit einer break-Anweisung.
code main() := { int a : 5; if( a == 5 ) { return 1; // verlässt nicht nur den Scope von if, sondern auch main. } return 0; // verlässt Scope main }