goto lbl -> break means we do not accidentally introduce irreducible control flow