movq $0x3e8dee8f,%rdi
movq $0x0000555555401aa9,%rsi
push %rsi
ret