static S xyzIndexToVar(int i) {
  assertTrue(i > 0);
  if (i == 1) ret "X";
  if (i == 2) ret "Y";
  if (i == 3) ret "Z";
  i -= 3;
  if (i <= 26)
    ret "A" + (char) ('A' + i-1);
  fail("var too high");
}