rax            0x25cdd20	39640352
rbx            0x1f	31
rcx            0xf	15
rdx            0x25ceee0	39644896
rsi            0x1f	31
rdi            0x10	16
rbp            0x25d0830	0x25d0830
rsp            0x7fff5c1b0258	0x7fff5c1b0258
r8             0x1f	31
r9             0x0	0
r10            0x1	1
r11            0x7f2b1b052870	139823113644144
r12            0x1f	31
r13            0x7fff5c1b02d8	140734738662104
r14            0x7f2b1bfe3630	139823129966128
r15            0x0	0
rip            0x7f2b1b10549f	0x7f2b1b10549f <__strlen_sse42+15>
eflags         0x10206	[ PF IF RF ]
cs             0x33	51
ss             0x2b	43
ds             0x0	0
es             0x0	0
fs             0x0	0
gs             0x0	0