`push` cannot push a 64-bit integer. In order to push it, we have
to first load a large integer to a register using `movabs` and then
push it to the stack.