[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/preprocessed.ci (external front-end)
/* Generated by Frama-C */
/*@ ensures \result ≡ 42; */
int foo(void)
{
  int FOO;
  FOO = 42;
  return FOO;
}


