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