[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/misc/change_formals.c (with preprocessing)
[test] current prj = project "test"
/* Generated by Frama-C */
extern int f(int x, int ok);

int g(int ok)
{
  int tmp;
  tmp = f(0,0);
  return tmp;
}


