Tagged: Non-fall-through semantics