eax            0x1	1
ecx            0x0	0
edx            0x1	1
ebx            0x11b907c8	297338824
esp            0xbfb6a520	0xbfb6a520
ebp            0x2e	0x2e
esi            0x11b684c1	297174209
edi            0x0	0
eip            0x11acaa44	0x11acaa44 <is_array_index_in_bounds_func+52>
eflags         0x10246	[ PF ZF IF RF ]
cs             0x73	115
ss             0x7b	123
ds             0x7b	123
es             0x7b	123
fs             0x0	0
gs             0x33	51