sclass MatchDoubleRestAttractor > Attractor {
  S pattern;
  
  *() {}
  *(S *pattern) {}
  *(S *pattern, Runnable *action) {}
  
  public bool matches(S s) {
    ret matchDoubleRest(pattern, s);
  }
}