static boolean match_dropping(S pat, S wordsToDrop, S s) {
  ret match(pat, dropWords(s, wordsToDrop));
}