   let verbosity: ModuleLoaderVerbosity
 
   public func load(_ moduleID: ModuleIdentifier, in context: ASTContext) throws -> ModuleDecl {
+    if verbosity >= .verbose {
+      System.err.print("Loading module '\(moduleID.qualifiedName)' ...".styled("bold"))
+    }
+
     // Start the stopwatch.
     var stopwatch = Stopwatch()
 

    }
    let constraintCreationTime = stopwatch.elapsed

    // Solve the type constraints.
    stopwatch.reset()
    var solver = ConstraintSolver(constraints: context.typeConstraints, in: context)
    let result = solver.solve()
    let solvingTime = stopwatch.elapsed

    // Apply the solution of the solver (if any) and dispatch identifiers to their symbol.
    stopwatch.reset()

    }
    let dispatchTime = stopwatch.elapsed

    if verbosity >= .verbose {
      System.err.print("- Dispatched symbols in \(dispatchTime.humanFormat)")
      System.err.print()
    }
