0x0000000000400f0c <+0>: push %rbp 0x0000000000400f0d <+1>: push %rbx 0x0000000000400f0e <+2>: sub $0x28,%rsp 0x0000
