dohead
if (ps.p_stack[ps.tos] == dohead) {
ps.p_stack[--ps.tos] = dohead;
if (ps.p_stack[ps.tos - 1] == dohead) {