let get_flags () = !all_flags