randseq() in Evalprep.java
placeholder for parser in Parse.java
a top-level test in Test.java