Control-flow bindings