[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/simp_switch.i (no preprocessing)
/* Generated by Frama-C */
void main(void)
{
  if (! (! 0)) goto switch_0_break;
  switch_0_0: goto switch_0_break;
  switch_0_break: ;
  return;
}


