svoid test_tok_recordDecls() {
  LS tok = javaTok("record $HappensBefore$<A, B>(A event1, B event2) extends Fact {}");
  tok_recordDecls(tok);
  print(join(tok));
  assertTrueVerbose(jMatchStart([[
    class $HappensBefore$<A, B> extends Fact {
      A event1;
      B event2;
    ]], tok));
}