/* run.config
   STDOPT: #"-float-normal"
   STDOPT: #"-float-normal -simplify-cfg"
*/

int result1, result3, result4;
int result2=7;
double d2;

int main (int c, int d, int e, int f, double d1, long l) {

  switch (d)
    {
    case 1:
      result1 = 1;
      break;
    case 2:
      result1 = 2;
      break;
    case 3:
      result1 = 3;
    case 4:
      result1 = 4;
      break;
    }

  switch(c)
    {
    case 0: Frama_C_show_each_F(c); return c;
    case 2: return c;
    }

  switch (e)
    {
    case 0: result2 = e;
    }
  f = f ? 14 : 42;
  switch (f==14)
    {
    case 0: result3 = f;
    }

  switch(d1>=0.0)
    {
    case 0: d2=-d1;break;
    default: d2=d1; break;
    }

  switch(l)
    {
    case 0x0FFFFFFF: result4 = 1; break;
    case 0xFFFFFFFF: result4 = 2; break;
    }
  return 77;
}
