static IntPair toIntPair(Pair<Int> p) {
  ret p == null ?: IntPair(unnull(p.a), unnull(p.b));
}