[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/offsetof.c (with preprocessing)
/* Generated by Frama-C */
typedef unsigned int size_t;
struct c {
   char ca ;
};
void main(void)
{
  size_t S;
  S = (unsigned int)(& ((struct c *)0)->ca);
  return;
}


