anchor.diff:            _module.args = {
               inherit extendModules;
               moduleType = type;
  -          } // args;
  +          };
           };
         };
   
         merged =
           let collected = collectModules
             (specialArgs.modulesPath or "")
  -          (modules ++ [ internalModule ])
  +          (regularModules ++ [ internalModule ])
             ({ inherit lib options config specialArgs; } // specialArgs);
           in mergeModules prefix (reverseList collected);
   
  
positive.code:                   check ? true
                  }:
      let
        # This internal module declare internal options under the `_module'
        # attribute.  These options are fragile, as they are used by the
        # module system to change the interpretation of modules.
        internalModule = rec {
          _file = ./modules.nix;
  
  
negative.code:           _module.check = mkOption {
              type = types.bool;
              internal = true;
              default = true;
              description = "Whether to check whether all option definitions have matching declarations.";
            };
  
  