rax            0x7f5b7f401590	140030953657744
rbx            0xaaaaaaaaaaaaaaaa	-6148914691236517206
rcx            0x7f5b7f221fa0	140030951694240
rdx            0x1	1
rsi            0x5	5
rdi            0xaaaaaaaaaaaaaaaa	-6148914691236517206
rbp            0x5	0x5
rsp            0x7fff588d26b0	0x7fff588d26b0
r8             0x7fff588d2820	140734679033888
r9             0x0	0
r10            0x1	1
r11            0x1	1
r12            0x1	1
r13            0x0	0
r14            0x7f5b7f221fa0	140030951694240
r15            0x7f5b7a6eb1d0	140030872826320
rip            0x7f5b777319bd	0x7f5b777319bd <atk_state_set_contains_state+29>
eflags         0x10286	[ PF SF IF RF ]
cs             0x33	51
ss             0x2b	43
ds             0x0	0
es             0x0	0
fs             0x0	0
gs             0x0	0