proc closeNirBackend(c: PPassContext; finalNode: PNode) {....raises: [Exception,
    ValueError, KeyError, IOError, ERecoverableError, OSError,
    IllegalTypeRecursionError, Exception, ValueError, KeyError, IOError,
    ERecoverableError], tags: [RootEffect, ReadDirEffect, WriteIOEffect,
                               ReadIOEffect, ReadEnvEffect, TimeEffect,
                               WriteDirEffect], forbids: [].}

proc newCtx(module: PSym; g: ModuleGraph; idgen: IdGenerator): PCtx {.
    ...raises: [OSError], tags: [], forbids: [].}

proc nirBackend(c: PPassContext; n: PNode): PNode {....raises: [Exception,
    ValueError, KeyError, IOError, ERecoverableError, OSError,
    IllegalTypeRecursionError], tags: [RootEffect, ReadDirEffect, WriteIOEffect,
                                       ReadIOEffect, ReadEnvEffect, TimeEffect],
    forbids: [].}

proc openNirBackend(g: ModuleGraph; module: PSym; idgen: IdGenerator): PPassContext {.
    ...raises: [OSError], tags: [], forbids: [].}

proc refresh(c: PCtx; module: PSym; idgen: IdGenerator) {....raises: [], tags: [],
    forbids: [].}

proc runCode(c: PPassContext; n: PNode): PNode {....raises: [Exception, ValueError,
    KeyError, IOError, ERecoverableError, OSError, IllegalTypeRecursionError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect,
    TimeEffect], forbids: [].}

proc setupGlobalCtx(module: PSym; graph: ModuleGraph; idgen: IdGenerator) {.
    ...raises: [OSError], tags: [], forbids: [].}

proc setupNirReplGen(graph: ModuleGraph; module: PSym; idgen: IdGenerator): PPassContext {.
    ...raises: [OSError], tags: [], forbids: [].}