int main() {
  float x = 1.0;
  //@ assert x > 2;
  x = 2.0;
  return 0;
}