static int numberOfXYZVars(S s) {
  ret numberOfXYZVars_c(javaTokC(s));
}

static int numberOfXYZVars_c(L<S> ctok) {
  int m = 0;
  for (S t : ctok) m = max(m, xyzVarToIndex(t));
  ret m;
}

static int numberOfXYZVars(L<S> tok) {
  int m = 0;
  for (int i = 1; i < l(tok); i += 2)
    m = max(m, xyzVarToIndex(tok.get(i)));
  ret m;
}