stk
origin = stk;
if (origin == stk) {
mtforigin = stk;
if (mtforigin == stk) {
IDTVEC(tss), IDTVEC(missing), IDTVEC(stk), IDTVEC(prot), IDTVEC(page),
setgate(&idt[ 12], &IDTVEC(stk), 0, SDT_SYS386IGT, SEL_KPL, GCODE_SEL);
static int did_stk_init = false, *stk;
stk = reallocate_integer_array( stk, current_max_dfa_size ); \
stk[stkend] = state; \
stk = allocate_integer_array (current_max_dfa_size);
ns = stk[stkpos];
if (IS_MARKED (stk[stkpos]))
UNMARK_STATE (stk[stkpos]);