Design

• Each test program must implement three procedures: setup(), cleanup() and test()

• Argument parsing and randomization is handled by the library

• The initial version with only three (two) test programs caused lots panics