Format

           { VERIFY   }
      SET  { NOVERIFY }
           {          }