cps_gen_set_top_bit
cps_gen_set_top_bit(&p, &l, &r, r_nc_count,
cps_gen_set_top_bit(&p, &l, &r, r_nc_count, lbl_set_cont);