They were handled as a "assert 0; jump to loop that doesn't return".
Instead, just allow "assert 0" to be a block terminator.