Why does it get special handling? Just put the 0x80 in here and refer to the array in ```bi_is_objs_index()```.