gen8_pt_count
count = gen8_pt_count(start, end);
unsigned int count = gen8_pt_count(*start, end);
*start += gen8_pt_count(*start, end);