TLabel = Rope

TCFileSection = enum
  cfsMergeInfo, cfsHeaders, cfsFrameDefines, cfsForwardTypes, cfsTypes,
  cfsSeqTypes, cfsFieldInfo, cfsTypeInfo, cfsProcHeaders, cfsData, cfsVars,
  cfsProcs, cfsInitProc, cfsDatInitProc, cfsTypeInit1, cfsTypeInit2,
  cfsTypeInit3, cfsDebugInit, cfsDynLibInit, cfsDynLibDeinit

TCTypeKind = enum
  ctVoid, ctChar, ctBool, ctInt, ctInt8, ctInt16, ctInt32, ctInt64, ctFloat,
  ctFloat32, ctFloat64, ctFloat128, ctUInt, ctUInt8, ctUInt16, ctUInt32,
  ctUInt64, ctArray, ctPtrToArray, ctStruct, ctPtr, ctNimStr, ctNimSeq, ctProc,
  ctCString

TCFileSections = array[TCFileSection, Rope]

TCProcSection = enum
  cpsLocals, cpsInit, cpsStmts

TCProcSections = array[TCProcSection, Rope]

BModule = ref TCGen

BProc = ref TCProc

TBlock = object
  id*: int
  label*: Rope
  sections*: TCProcSections
  isLoop*: bool
  nestedTryStmts*: int16
  nestedExceptStmts*: int16
  frameLen*: int16

TCProcFlag = enum
  beforeRetNeeded, threadVarAccessed, hasCurFramePointer, noSafePoints,
  nimErrorFlagAccessed, nimErrorFlagDeclared, nimErrorFlagDisabled

TTypeSeq = seq[PType]

TypeCache = Table[SigHash, Rope]

TypeCacheWithOwner = Table[SigHash, tuple[str: Rope, owner: PSym]]

CodegenFlag = enum
  preventStackTrace, usesThreadVars, frameDeclared, isHeaderFile,
  includesStringh, objHasKidsValid

BModuleList = ref object of RootObj
  mainModProcs*, mainModInit*, otherModsInit*, mainDatInit*: Rope
  mapping*: Rope
  modules*: seq[BModule]
  modulesClosed*: seq[BModule]
  forwardedProcs*: seq[PSym]
  generatedHeader*: BModule
  typeInfoMarker*: TypeCacheWithOwner
  typeInfoMarkerV2*: TypeCacheWithOwner
  config*: ConfigRef
  graph*: ModuleGraph
  strVersion*, seqVersion*: int
  nimtv*: Rope
  nimtvDeps*: seq[PType]
  nimtvDeclared*: IntSet

proc includeHeader(this: BModule; header: string) {...}{.raises: [], tags: [].}

proc s(p: BProc; s: TCProcSection): var Rope {...}{.inline, raises: [], tags: [].}

proc procSec(p: BProc; s: TCProcSection): var Rope {...}{.inline, raises: [],
    tags: [].}

proc newProc(prc: PSym; module: BModule): BProc {...}{.raises: [], tags: [].}

proc newModuleList(g: ModuleGraph): BModuleList {...}{.raises: [], tags: [].}

iterator cgenModules(g: BModuleList): BModule {...}{.raises: [], tags: [].}

template config(m: BModule): ConfigRef

template config(p: BProc): ConfigRef