sinterface IIntPred {
  bool get(int a);
}