int main() {
  double d = 2.0;
  printDouble(d);
  d++;
  printDouble(d);
  d--;
  printDouble(d);

  return 0;
}

//void printDouble(double x) { }