[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/visit_create_local.i (no preprocessing)
/* Generated by Frama-C */
void main(void)
{
  int varbidon;
  int x;
  int y;
  varbidon = x;
  x = y;
  return;
}


