Control flow semantics | lit.salon