rax            0xb01	2817
rbx            0x0	0
rcx            0x2	2
rdx            0xb9d	2973
rsi            0x7f13d4003ae0	139723137891040
rdi            0x7f13d803c4d0	139723205231824
rbp            0xb9d	0xb9d
rsp            0x7f13e5ce47e0	0x7f13e5ce47e0
r8             0x7f13e5ce45d0	139723436606928
r9             0x8	8
r10            0xe000	57344
r11            0x2	2
r12            0x0	0
r13            0x200000000	8589934592
r14            0xb9d	2973
r15            0x7f13d40084ab	139723137909931
rip            0x7f13f419af12	0x7f13f419af12
eflags         0x10202	[ IF RF ]
cs             0x33	51
ss             0x2b	43
ds             0x0	0
es             0x0	0
fs             0x0	0
gs             0x0	0