proc addField(obj: PType; s: PSym; cache: IdentCache; idgen: IdGenerator): PSym {.
    ...raises: [], tags: [], forbids: [].}

proc addUniqueField(obj: PType; s: PSym; cache: IdentCache; idgen: IdGenerator): PSym {.
    discardable, ...raises: [], tags: [], forbids: [].}

proc addVar(father, v, value: PNode) {....raises: [], tags: [], forbids: [].}

proc addVar(father, v: PNode) {....raises: [], tags: [], forbids: [].}

proc callCodegenProc(g: ModuleGraph; name: string;
                     info: TLineInfo = unknownLineInfo; arg1: PNode = nil;
                     arg2: PNode = nil; arg3: PNode = nil;
                     optionalArgs: PNode = nil): PNode {....raises: [KeyError,
    Exception, ValueError, OSError, IOError, ERecoverableError], tags: [
    ReadDirEffect, RootEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect],
    forbids: [].}

proc createObj(g: ModuleGraph; idgen: IdGenerator; owner: PSym; info: TLineInfo;
               final = true): PType {....raises: [KeyError, Exception],
                                      tags: [ReadDirEffect, RootEffect],
                                      forbids: [].}

proc evalOnce(g: ModuleGraph; value: PNode; idgen: IdGenerator; owner: PSym): PNode {.
    ...raises: [], tags: [], forbids: [].}

proc genAddrOf(n: PNode; idgen: IdGenerator; typeKind = tyPtr): PNode {.
    ...raises: [], tags: [], forbids: [].}

proc genDeref(n: PNode; k = nkHiddenDeref): PNode {....raises: [], tags: [],
    forbids: [].}

proc genHigh(g: ModuleGraph; n: PNode): PNode {....raises: [KeyError, Exception,
    ValueError, OSError, IOError, ERecoverableError], tags: [ReadDirEffect,
    RootEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect], forbids: [].}

proc genLen(g: ModuleGraph; n: PNode): PNode {....raises: [KeyError, Exception,
    ValueError, OSError, IOError, ERecoverableError], tags: [ReadDirEffect,
    RootEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect], forbids: [].}

proc getFieldFromObj(t: PType; v: PSym): PSym {....raises: [], tags: [],
    forbids: [].}

proc indirectAccess(a, b: PSym; info: TLineInfo): PNode {....raises: [], tags: [],
    forbids: [].}

proc indirectAccess(a: PNode; b: ItemId; info: TLineInfo): PNode {....raises: [],
    tags: [], forbids: [].}

proc indirectAccess(a: PNode; b: PSym; info: TLineInfo): PNode {....raises: [],
    tags: [], forbids: [].}

proc indirectAccess(a: PNode; b: string; info: TLineInfo; cache: IdentCache): PNode {.
    ...raises: [], tags: [], forbids: [].}

proc lowerSwap(g: ModuleGraph; n: PNode; idgen: IdGenerator; owner: PSym): PNode {.
    ...raises: [], tags: [], forbids: [].}

proc lowerTupleUnpacking(g: ModuleGraph; n: PNode; idgen: IdGenerator;
                         owner: PSym): PNode {....raises: [KeyError, Exception,
    ValueError, OSError, IOError, ERecoverableError], tags: [ReadDirEffect,
    RootEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect], forbids: [].}

proc newAsgnStmt(le, ri: PNode): PNode {....raises: [], tags: [], forbids: [].}

proc newDeref(n: PNode): PNode {.inline, ...raises: [], tags: [], forbids: [].}

proc newDotExpr(obj, b: PSym): PNode {....raises: [], tags: [], forbids: [].}

proc newFastAsgnStmt(le, ri: PNode): PNode {....raises: [], tags: [], forbids: [].}

proc newFastMoveStmt(g: ModuleGraph; le, ri: PNode): PNode {....raises: [KeyError,
    Exception, ValueError, OSError, IOError, ERecoverableError], tags: [
    ReadDirEffect, RootEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect],
    forbids: [].}

proc newIntLit(g: ModuleGraph; info: TLineInfo; value: BiggestInt): PNode {....raises: [
    KeyError, Exception, ValueError, OSError, IOError, ERecoverableError], tags: [
    ReadDirEffect, RootEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect],
    forbids: [].}

proc newTryFinally(body, final: PNode): PNode {....raises: [], tags: [],
    forbids: [].}

proc newTupleAccess(g: ModuleGraph; tup: PNode; i: int): PNode {....raises: [
    KeyError, Exception, ValueError, OSError, IOError, ERecoverableError], tags: [
    ReadDirEffect, RootEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect],
    forbids: [].}

proc newTupleAccessRaw(tup: PNode; i: int): PNode {....raises: [KeyError],
    tags: [], forbids: [].}

proc rawAddField(obj: PType; field: PSym) {....raises: [], tags: [], forbids: [].}

proc rawDirectAccess(obj, field: PSym): PNode {....raises: [], tags: [],
    forbids: [].}

proc rawIndirectAccess(a: PNode; field: PSym; info: TLineInfo): PNode {.
    ...raises: [], tags: [], forbids: [].}