void f1()
{
  double d;
  int x;

  x = (d + 0.5);
}