anchor.diff:  
         ( noshort,
           "debug",
  -        Accumulated (SimpleStr "module name"),
  +        Accumulated (SimpleStr "module_name"),
           "Print lots of debugging information while checking module");
   
          ( noshort,
  
positive.code: 
         ( noshort,
          "reuse_hint_for",
          SimpleStr "top-level name in the current module",
          "Optimistically, attempt using the recorded hint for 'f' when trying to verify some other term 'g'");
  
         ( noshort,
          "show_signatures",
          Accumulated (SimpleStr "module name"),
          "Show the checked signatures for all top-level symbols in the module");
  
         ( noshort,
  
negative.code: 
        ( noshort,
          "admit_except",
          SimpleStr "(symbol, id)",
          "Admit all verification conditions, except those with query label (<symbol>, <id>)) (e.g. --admit_except '(FStar.Fin.pigeonhole, 1)'");
  
        ( noshort,
          "cache_checked_modules",
  