let
version_help =
" Print the version number."