rax            0x0	0
rbx            0x59dc5469	1507611753
rcx            0x9	9
rdx            0x59dc5469	1507611753
rsi            0x64696f72646e41	28263425052536385
rdi            0x59dc5460	1507611744
rbp            0x0	0x0
rsp            0x7ff99f7fdb48	0x7ff99f7fdb48
r8             0x0	0
r9             0xffff	65535
r10            0x733	1843
r11            0x18	24
r12            0x1	1
r13            0x2001	8193
r14            0x7ff98c029d30	140709772565808
r15            0x7ff98c024098	140709772542104
rip            0x7ff9a80718a7	0x7ff9a80718a7 <__strlen_avx2+55>
eflags         0x10206	[ PF IF RF ]
cs             0x33	51
ss             0x2b	43
ds             0x0	0
es             0x0	0
fs             0x0	0
gs             0x0	0