int main() {
  float a = 0.5;
  float b = 1.0;
  float c = b / a;
  float d = 1.4142;
  float e = 16777217.0;
  float f = 16777216.0;
  float g = 0.0 / 0.0;
  float h = -1.0;
  float i = -1.4142;
  //@ assert e != f;
  return 0;
}