Better specification of the push2stack function.