static IntPair intPair(int a, int b) {
  ret new Pair(a, b);
}