在向下生成的堆栈中，如果入栈指令PUSHX的操作定义为：SP←(SP)+1，M(SP)←M(X)，则出栈指令POPX应定义为()