[Ada_list] aloha