| Construct | Activation | Termination | Body |
| repeat k | previous completed; counter = 0 | ++counter; counter==k | any |
| repeat_until | previous completed | event occurs | any |
| forever | previous completed | false | any |
| wait t | previous completed; timer = 0 | timer = t | none |
| wait_until | previous completed | event occurs | none |
| primitive | previous completed | true | any |