static int numberOfXYZVars(S s) {
  int m = 0;
  for (S t : javaTokC(s))
    m = max(m, xyzVarToIndex(t));
  ret m;
}