static int xmin(Int a, Int b) {
  ret a == null ? b : b == null ? a : min(a, b);
}