bts59.res.oracle

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