DEBUG_PRINT3

3604

DEBUG_PRINT3 ("EXECUTING start_memory %d (%d):\n", *p, p[1]);

3647

DEBUG_PRINT3 ("EXECUTING stop_memory %d (%d):\n", *p, p[1]);

3910

DEBUG_PRINT3 (" %d (to 0x%x):\n", mcnt, p + mcnt);

3933

DEBUG_PRINT3 (" %d (to 0x%x)", mcnt, p + mcnt);

4020

DEBUG_PRINT3 (" %c != %c => pop_failure_jump.\n",

4133

DEBUG_PRINT3 (" Setting 0x%x to %d.\n", p, mcnt);

4167

DEBUG_PRINT3 (" Setting 0x%x to %d.\n", p1, mcnt);