Message_utils
val get_resend_message : Model_messages.model_top_level_msg -> Model_messages.model_top_level_msg