output module written, uncompiled, untested