:set -isrc:dist/build/autogen:dist/build/cpsa/autogen
:set -fbreak-on-error
:set args tst/dh_mim.scm
-- ghci src/CPSA/Lib/Main.hs
-- :trace main