let pretty_list fmt l =
    List.iter (fun n -> Format.fprintf fmt " %a" pretty n) l