code: function outputModuleHeader (module, headWasOutput, headPath)
    {
      if (module.bodies.length || !headWasOutput) {
        traceOutput.push (LINE2, '// Module:    ' + module.name, '// Optimized: ' + (module.optimize ? 'Yes' : 'No'));
        if (!headWasOutput)
          traceOutput.push ('// File:      ' + headPath);
        else {
          for (var i = 0, m = module.bodies.length; i < m; ++i) {
            var bodyPath = module.bodyPaths[i];
            // Find first body who's corresponding file was not yet output.
            if (!context.outputtedFiles[bodyPath]) {
              traceOutput.push ('// File:      ' + bodyPath);
              break;
            }
          }
        }
        traceOutput.push (LINE2, '');
      }
    }
docs: -------------------------------------------------------------------------------------------------------------------- PRIVATE -------------------------------------------------------------------------------------------------------------------- 
  Outputs a module information header.
  
  @param {ModuleDef} module
  @param {boolean} headWasOutput
  @param {string} headPath