Directs CMS to write to the specified file. If an incomplete file
    specification is given, unspecified parts are provided from the
    default filename VERIFY.LOG in the default directory.