File ‹$AFP/Isabelle_C/src_ext/parser_menhir/tests/control-scope.c›

int f (int z) {
  if (z + sizeof (enum {a}))
    return 1 + sizeof (enum {a});
  return 0;
}