let
error_message s = !f_error_message s