svoid test_tok_typesAndNamesOfParams() {
  assertEqualsVerbose(ll(pair("virtual A", "a")),
    tok_typesAndNamesOfParams(javaTok("virtual A a")));
  assertEqualsVerbose(ll(pair("A", "a"), pair("?", "b")),
    tok_typesAndNamesOfParams(javaTok("A a, b")));
  assertEqualsVerbose(ll(pair("int", "a")),
    tok_typesAndNamesOfParams(javaTok("int a default 0")));
  assertEqualsVerbose(ll(pair("int", "a"), pair("S", "b")),
    tok_typesAndNamesOfParams(javaTok("int a default 0, S b default abc()")));
  assertEqualsVerbose(ll(pair("DoublePt etc", "p")),
    tok_typesAndNamesOfParams(javaTok("DoublePt etc p")));
}