[kernel] preprocessing with "gcc -E -C -I.  -dD -nostdinc -D__FC_MACHDEP_X86_32 -I./share/libc tests/syntax/typedef_size_t.c"
/* Generated by Frama-C */
typedef unsigned int size_t;
size_t main(int f)
{
  size_t __retres;
  __retres = (unsigned int)f;
  return __retres;
}


