Notes concerning “Control flow”