[Ada_list] ADA 2012 and 2013