Code

execution-model    ::= single | co | threads | fibres

statements         ::= statement [then [statement]]...