I initially thought it would have been a pain to write just the test programs, but I guess they were just programatically search-replaced from Lisp programs?