public static void printModuleFileHeader(Module module, OutputStream stream) {
    OutputStream.clOutputFileHeader(stream, null, false);
    if (!(Logic.$BUILT_IN_MODULE_NAMES$.memberP(StringWrapper.wrapString(module.name())))) {
      module.printDefinition(stream);
    }
    stream.nativeStream.println();
    {
      stream.nativeStream.println("(IN-MODULE \"" + module.moduleFullName + "\")");
      stream.nativeStream.println();
      stream.nativeStream.println("(" + Logic.SYM_LOGIC_IN_DIALECT + " " + ((Keyword)(Logic.$LOGIC_DIALECT$.get())) + ")");
      stream.nativeStream.println();
    }
;
  }