let draw_configuration = Topo.draw_configuration () Auto.color_of_state