let
about_box () =
GToolbox
.message_box
Cam_messages
.about
Cam_messages
.software_about