Implement 64/32bit agnostic push. Correct simulation of addi