let print_warning loc txt = !current_warning loc txt