[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/typedef_namespace_bts1500.c (with preprocessing)
/* Generated by Frama-C */
typedef int digit;
digit const D = 10;
long const L = 10L;
digit A;

int main(void)
{
  int __retres;
  digit x;
  int digit_0;
  x = 4;
  digit_0 = 3;
  __retres = (x + digit_0) + A;
  return __retres;
}

digit A = 8;

