:set -fglasgow-exts -fbreak-on-error -isrc:dist/build/autogen :set args -a diffie-hellman tst/dhke.sch