svoid test_matchDoubleRest() {
  new Matches m;
  assertTrueVerbose(matchDoubleRest("is", "is green green", m));
  assertEqualsVerbose(1, l(m.m));
  assertEquals("green", m.rest());
}