rax            0xbbadbeef	3148725999
rbx            0x2400000000	154618822656
rcx            0x0	0
rdx            0x7ff1c87dc8b0	140676427532464
rsi            0x65	101
rdi            0x7ffd4d3ecc10	140725899414544
rbp            0x7ffd4d3ef40c	0x7ffd4d3ef40c
rsp            0x7ffd4d3ef3e0	0x7ffd4d3ef3e0
r8             0x65	101
r9             0x0	0
r10            0x0	0
r11            0x246	582
r12            0x1	1
r13            0x7ff1c694bd00	140676395482368
r14            0x1400000000	85899345920
r15            0x1c00000000	120259084288
rip            0x7ff1c3dda588	0x7ff1c3dda588
eflags         0x10202	[ IF RF ]
cs             0x33	51
ss             0x2b	43
ds             0x0	0
es             0x0	0
fs             0x0	0
gs             0x0	0