a compilable version of exmpp