rax            0xbbadbeef	3148725999
rbx            0x2400000000	154618822656
rcx            0x0	0
rdx            0x7fac76c518b0	140378703730864
rsi            0x65	101
rdi            0x7ffc36778340	140721222288192
rbp            0x7ffc3677ab3c	0x7ffc3677ab3c
rsp            0x7ffc3677ab10	0x7ffc3677ab10
r8             0x65	101
r9             0x0	0
r10            0x0	0
r11            0x246	582
r12            0x1	1
r13            0x7fac74dbed00	140378671672576
r14            0x1400000000	85899345920
r15            0x1c00000000	120259084288
rip            0x7fac7224d588	0x7fac7224d588
eflags         0x10202	[ IF RF ]
cs             0x33	51
ss             0x2b	43
ds             0x0	0
es             0x0	0
fs             0x0	0
gs             0x0	0