[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/bts59.i (no preprocessing)
/* Generated by Frama-C */
float g(void)
{
  float __retres_5;
  double __retres;
  int first;
  __retres = (double)2;
  first = 6;
  {
    int first_0;
    first_0 = 5;
    __retres_5 = (float)__retres;
    return __retres_5;
  }
}


