rax            0x1	1
rbx            0x3e8	1000
rcx            0x7f4f68046203	139979024261635
rdx            0x1	1
rsi            0x1	1
rdi            0x0	0
rbp            0x3e8	0x3e8
rsp            0x7f4f4f98c640	0x7f4f4f98c640
r8             0x0	0
r9             0x0	0
r10            0x0	0
r11            0x0	0
r12            0xb	11
r13            0xffffffff	4294967295
r14            0x1	1
r15            0x7f4f4f98c680	139978614556288
rip            0x7f4f5ba02286	0x7f4f5ba02286
eflags         0x10202	[ IF RF ]
cs             0x33	51
ss             0x2b	43
ds             0x0	0
es             0x0	0
fs             0x0	0
gs             0x0	0