static S formatXYZ_appendRest(S pattern, L<S> args) {
  L<S> tok = javaTokC(pattern);
  L<S> restArgs = cloneList(args);
  if (tok.contains("Z")) remove(restArgs, 2);
  if (tok.contains("Y")) remove(restArgs, 1);
  if (tok.contains("X")) remove(restArgs, 0);
  ret join(" ", concatLists(
    ll(formatXYZ(pattern, args)),
    restArgs));
}