Fix inconsistency between reg_req and ins of Push: reg_req expected the stack in...