let
warning_message s = !f_warning_message s