let get_warning_message () = !f_warning_message