[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/spec/spec_zero_arg.c (with preprocessing)
/* Generated by Frama-C */
int e;
/*@ requires e > 0; */
extern void f(void);

/*@ requires e > 0; */
extern void g();

int x;
void i(int b);

/*@ requires b > 0; */
void i(int b)
{
  x = b;
  return;
}

void h(void)
{
  f();
  g();
  return;
}


