:set editor echo
:l Primop.hs