let color_verbose = new color_log (color_stdout ())