static int formatXYZ_varToIndex(S t) {
  if (l(t) == 1 && eqOneOf(t, "X", "Y", "Z"))
    ret 1 + charDiff(t.charAt(0), 'X');
  else if (l(t) == 2 && t.startsWith("A")) {
    char c = t.charAt(1);
    if (c >= 'A' && c <= 'Z')
      ret 4 + charDiff(t.charAt(1), 'A');
  }
  ret 0;
}