--program checksum.c
--compiler-opts -lm
--fault-scheme default
--search pd-explore
--seed 0
--skip-failed-sanity-tests
--ignore-dead-code
--ignore-untyped-returns
--promut 1
--allow-coverage-fail
--ignore-standard-headers
--describe-machine
--pd-mutp 0
--ignore-string-equiv-fixes
--popsize 0
--fix-scheme uniform
--swapp 0
--ignore-equiv-appends
--neg-tests 4
--pos-tests 12
