• 9.1 Expression statements
• 9.2 Null statement
• 9.3 Blocks
• 9.4 Conditional statements
• 9.5 Simple looping statements
• 9.6 for statement
• 9.7 case statement
• 9.8 alt statement
• 9.9 break statement
• 9.10 continue statement
• 9.11 return statement
• 9.12 spawn statement
• 9.13 exit statement

The executable code within a function definition consists of a sequence of statements and declarations. As discussed in the Scope section §11 below, declarations become effective at the place they appear. Statements are executed in sequence except as discussed below. In particular, the optional labels on some of the statements are used with break and continue to exit from or re-execute the labeled statement.

statements:
	(empty)
	statements declaration
	statements statement

statement:
	expression ;
	;
	{ statements }
	if ( expression ) statement
	if ( expression ) statement else statement
	labelopt  while ( expressionopt ) statement
	labelopt  do statement while ( expressionopt ) ;
	labelopt  for ( expressionopt ; expressionopt ; expressionopt ) statement
	labelopt  case expression { qual-statement-sequence }
	labelopt  alt { qual-statement-sequence }
	break identifieropt ;
	continue identifieropt ;
	return expressionopt ;
	spawn term ( expression-listopt ) ;
	exit ;

label:
	identifier :