Statement tests: EXAMINE, EXIT, GENERATE.