let syntactic_coi_min = ref (-1)