Define the pushq instruction for x86-64.