Bitcoin: if there is no push opcode, how does the item still end up on the stack (tx verification)