// match2 matches multiple "*" (matches a single token) wildcards and zero or one "..." wildcards (matches multiple tokens)

static S[] match2(L<S> pat, L<S> tok) {
  // standard case (no ...)
  int i = pat.indexOf("...");
  if (i < 0) return match2_match(pat, tok);
  
  pat = new ArrayList<S>(pat); // We're modifying it, so copy first
  pat.set(i, "*");
  while (pat.size() < tok.size()) {
    pat.add(i, "*");
    pat.add(i+1, ""); // doesn't matter
  }
  
  return match2_match(pat, tok);
}

static S[] match2_match(L<S> pat, L<S> tok) {
  L<S> result = new ArrayList<S>();
  if (pat.size() != tok.size()) {
    ifdef match2_debug
      print("match2: Size mismatch: " + structure(pat) + " vs " + structure(tok));
    endifdef
    return null;
  }
  for (int i = 1; i < pat.size(); i += 2) {
    S p = pat.get(i), t = tok.get(i);
    ifdef match2_debug
      print("match2: Checking " + p + " against " + t);
    endifdef
    if (eq(p, "*"))
      result.add(t);
    else if (!equalsIgnoreCase(unquote(p), unquote(t))) // bold change - match quoted and unquoted now. TODO: should remove
      return null;
  }
  return result.toArray(new S[result.size()]);
}