anchor.diff:  
          ( noshort,
           "dump_module",
  -        Accumulated (SimpleStr "module name"),
  +        Accumulated (SimpleStr "module_name"),
           "");
   
          ( noshort,
  
positive.code: 
         ( noshort,
          "extract_module",
          Accumulated (PostProcessed (pp_lowercase, (SimpleStr "module name"))),
          "Only extract the specified modules (instead of the possibly-partial dependency graph)");
  
         ( noshort,
  
negative.code: 
        ( noshort,
          "debug",
          Accumulated (SimpleStr "module_name"),
          "Print lots of debugging information while checking module");
  
         ( noshort,
  