Sorry for late reply. Explicit `goto L1` is not necessary so there's not implicit case fallthrough. (block statement is just necessary just for declaring temporary variable `te` to avoid "skip-goto-declaration" warning.)