let extrapol_coloring () = !extrapol_coloring_opt