let print_tag f (tag, _) =
                  Format.pp_print_string f (string_of_tag tag)