sinterface IF1_IntToInt {
  int get(int i);
}