Implemented API for creating limits for memory access and rendering somewhat correct macro replacements. Added emitting module and kernel prologues to instrumented result.