rax            0xbbadbeef	3148725999
rbx            0x30bf140	51114304
rcx            0xffffffffffffff80	-128
rdx            0xc	12
rsi            0x80000000	2147483648
rdi            0x0	0
rbp            0x30bf140	0x30bf140
rsp            0x7ffface94c10	0x7ffface94c10
r8             0xffffffff	4294967295
r9             0x0	0
r10            0x22	34
r11            0x206	518
r12            0xffffffffffffffff	-1
r13            0x7f0d7bfbf440	139695891412032
r14            0x7f	127
r15            0x7f0d80b942d0	139695970927312
rip            0x7f0d7b652642	0x7f0d7b652642
eflags         0x10246	[ PF ZF IF RF ]
cs             0x33	51
ss             0x2b	43
ds             0x0	0
es             0x0	0
fs             0x0	0
gs             0x0	0