output module actually written, uncompiled, untested