[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/misc/visitor_creates_func_bts_1349.i (no preprocessing)
/* Generated by Frama-C */
int a = 10;
int f(int x);

int f(int x)
{
  return x;
}


