display_message_box is
        -- Display a message box
    local
        message_dialog : EV_INFORMATION_DIALOG
    do
        create message_dialog.make_with_text ("Hello World")
        message_dialog.set_title ("Message Box Title")
        message_dialog.set_width (250)
    end