Undid debugging instrumentation to jsifier