Control Flow in Imperative Languages