//#Safe
/*
 *
 * Date: April 2016
 * Author: Maximilian Rohland
 *
 * float arithmetics
 */


int main()
{
  double x = 2.0;
  double y = 1.0;

  if ((x * 1.0) != 2.0) {
    //@assert \false;
  }

  if ((x / 1.0) != 2.0) {
    //@assert \false;
  }

  return 0;
}