let
get_warning_message () = !f_warning_message