rax            0x0	0
rbx            0x3a13700	60897024
rcx            0x70010	458768
rdx            0x7fb8aeb04218	140431181496856
rsi            0x0	0
rdi            0x0	0
rbp            0x7fb898053660	0x7fb898053660
rsp            0x7fb89d1f8a88	0x7fb89d1f8a88
r8             0x7fb89d1f88e0	140430886799584
r9             0x7fb8ae89aa10	140431178967568
r10            0x7fb89d1f8820	140430886799392
r11            0x7fb8a053f7e0	140430940567520
r12            0x3b23bf0	62012400
r13            0x0	0
r14            0x0	0
r15            0x3	3
rip            0x7fb8a053f7e0	0x7fb8a053f7e0 <mb_result_list_get_size>
eflags         0x10206	[ PF IF RF ]
cs             0x33	51
ss             0x2b	43
ds             0x0	0
es             0x0	0
fs             0x0	0
gs             0x0	0