[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/implicit_args_bts1267.i (no preprocessing)
/* Generated by Frama-C */
extern unsigned short t[100000];

extern int f(int x_0);

void main(int i)
{
  unsigned short *p;
  int s;
  p = & t[i];
  s = f((int)*p);
  return;
}


