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