Guarded Command Language
Skip
Abort