[Ada_list] co2 and servers