* The C grammar is funny. Labels (e.g., this case block) must preced a statement (e.g., a function call) – a variable declaration is not a statement.
* This load-bearing semicolon satisfies -Wfree-labels; otherwise we'd get "a label can only be part of a statement and a declaration is not a statement".