highest_label_primitive