code: function outputModuleDefinitions (module, headWasOutput)
    {
      for (var i = 0, m = module.bodies.length; i < m; ++i) {
        var bodyPath = module.bodyPaths[i];
        if (!bodyPath)
          console.log (module.name, i, module.bodies.length, module.bodyPaths);
        // Skip bodies who's corresponding file was already output.
        if (context.outputtedFiles[bodyPath])
          continue;
        context.outputtedFiles[bodyPath] = true;
  
        var body = module.optimize ?
          optimize (module.bodies[i], bodyPath, module)
          : {status: STAT.INDENTED, data: module.bodies[i]};
  
        if (i || !headWasOutput)
          traceOutput.push (LINE, '// File: ' + bodyPath, LINE, '');
        traceOutput.push (conditionalIndent (body));
      }
    }
docs: Insert additional module definitions.
  
  @param {ModuleDef} module
  @param {boolean} headWasOutput