proc errorType(g: ModuleGraph): PType {....raises: [KeyError], tags: [],
                                        forbids: [].}

proc evalOp(m: TMagic; n, a, b, c: PNode; idgen: IdGenerator; g: ModuleGraph): PNode {....raises: [
    KeyError, OSError, Exception, ValueError, IOError, ERecoverableError], tags: [
    ReadEnvEffect, ReadIOEffect, ReadDirEffect, RootEffect, WriteIOEffect],
    forbids: [].}

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

proc leValueConv(a, b: PNode): bool {....raises: [ERecoverableError], tags: [],
                                      forbids: [].}

proc newFloatNodeT(floatVal: BiggestFloat; n: PNode; g: ModuleGraph): PNode {.
    ...raises: [KeyError, OSError, Exception, ValueError],
    tags: [ReadEnvEffect, ReadIOEffect, ReadDirEffect, RootEffect], forbids: [].}

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

proc newStrNodeT(strVal: string; n: PNode; g: ModuleGraph): PNode {.
    ...raises: [KeyError, OSError, Exception, ValueError],
    tags: [ReadEnvEffect, ReadIOEffect, ReadDirEffect, RootEffect], forbids: [].}

proc newSymNodeTypeDesc(s: PSym; idgen: IdGenerator; info: TLineInfo): PNode {.
    ...raises: [KeyError, OSError, Exception, ValueError],
    tags: [ReadEnvEffect, ReadIOEffect, ReadDirEffect, RootEffect], forbids: [].}

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