emit(") VM.assert(false, inst.toString());\n");
emit(") VM._assert(false, inst.toString());\n");
    private static void emitVerify(int argNumber, int argEncoding, int level) {   	emitTab(level);	emit("if (VM.VerifyAssertions && !");	emitTest(argNumber, argEncoding);	emit(") VM.assert(false, inst.toString());\n");    }