ast_init.res.oracle

[kernel] Parsing ast_init.i (no preprocessing)
/* Generated by Frama-C */
int f(int x)
{
  ;
  return x;
}

int g(int x)
{
  return x;
}