rax            0x0                 0
rbx            0x1                 1
rcx            0x0                 0
rdx            0x1                 1
rsi            0x0                 0
rdi            0x1                 1
rbp            0x7f51ed1a9606      0x7f51ed1a9606
rsp            0x7ffeb4342e00      0x7ffeb4342e00
r8             0x0                 0
r9             0x7f51edb167dc      139989856905180
r10            0x7f51ed1b1f0f      139989847056143
r11            0x0                 0
r12            0x55b25a430140      94224506880320
r13            0x0                 0
r14            0x6                 6
r15            0x4                 4
rip            0x7f51edac4065      0x7f51edac4065
eflags         0x202               [ IF ]
cs             0x33                51
ss             0x2b                43
ds             0x0                 0
es             0x0                 0
fs             0x0                 0
gs             0x0                 0