The next statement that would be executed after a fallthrough statement
shall be a labeled statement whose label is a case label or
default label for the same switch
if the fallthrough statement is contained in an iteration statement,
the next statement shall be part of the same execution of
the substatement of the innermost enclosing iteration statement.