anchor.diff:          match moduleNames with
           | [] -> ()
           | moduleName :: moduleNames ->
  -            //
  -            let moduleTypeName = "<StartupCode$NHol>.$NHol." + moduleName
  +            /// The full name (namespace + name) of the type containing the startup (initialization)
  +            /// code for the current NHol module (F# module).
  +            let moduleStartupTypeName = "<StartupCode$NHol>.$NHol." + moduleName
   
               // Try to get the F# module type from the map containing the types in the assembly.
  -            match nholAssembly.GetType (moduleTypeName, false) |> Option.ofNull with
  +            match nholAssembly.GetType (moduleStartupTypeName, false) |> Option.ofNull with
               | None ->
                   // TODO : If the module type is None, emit an entry to the NUnit console/log.
  -                printfn "Unable to initialize the '%s' module because it could not be found in the NHol assembly. (ModuleTypeName = %s)"
  -                    moduleName moduleTypeName
  -                ()
  +                printfn "Unable to initialize the '%s' module because it could not be found in the NHol assembly. (ModuleStartupTypeName = %s)"
  +                    moduleName moduleStartupTypeName
   
               | Some moduleType ->
                   // Execute the static constructor (class constructor) for the class
  
positive.code: 
  namespace Tests.NHol
  
  //
  [<RequireQualifiedAccess>]
  module internal SystemState =
      open System.Reflection
  
negative.code:         // TODO : Add logging code here to record that the modules were (or weren't) initialized.
          printfn "Initializing NHol modules prior to running unit tests."
  
          /// The NHol assembly.
          let nholAssembly = typeof<NHol.fusion.Hol_kernel.hol_type>.Assembly
  
          // First initialize the module itself.
          // This isn't really necessary, since C# normally doesn't add anything to the
          // module constructor, but it doesn't hurt to be sure.
          printfn "Running the NHol module (.dll) constructor."
          RuntimeHelpers.RunModuleConstructor nholAssembly.ManifestModule.ModuleHandle
          
          // Now, initialize each of the F# modules in the NHol assembly by executing
  