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

int main(void)
{
  int tmp;
  tmp = f(0);
  return tmp;
}


