:load regression_tests/wrongdirectcall.hs
:set +simplify
:generalise div1_5
:quit
