interface IF1_DoubleToDouble {
  double get(double i);
}