SingletonsTestSuite.hs
SingletonsTestSuiteUtils.hs
compile-and-dump