let semantic_coi_min = ref 3