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