let warning_message s = !f_warning_message s