get_next_pebs_record_by_bit
void *at = get_next_pebs_record_by_bit(base, top, bit);
at = get_next_pebs_record_by_bit(at, top, bit);