let default_warning loc txt =
          Format.eprintf "<W> %a: %s@." Loc.print loc txt