abstract sclass StringMatcher {
  // change matches only if returning true
  abstract bool match(S pat, S input, SS matches);
  
  abstract S apply(S input, SS matches);
}