:load Main
:def test const $ return ":main --report ../../hlint/data/Default.hs --hol=../examples/HLint.thy"
