let extrapol_coloring_names = [
    Final"final" ;
    Init,  "init" ;
    Both,  "both" ;
    None,  "none" ;
    Auto,  "auto"
  ]