proc createClosureIterStateType(g: ModuleGraph; iter: PSym; idgen: IdGenerator): PType {.
    ...raises: [KeyError, ValueError, IOError, Exception, OSError], tags: [
    WriteIOEffect, ReadDirEffect, RootEffect, ReadEnvEffect, ReadIOEffect],
    forbids: [].}

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

proc getEnvParam(routine: PSym): PSym {....raises: [KeyError, ValueError, IOError,
    Exception, OSError], tags: [WriteIOEffect, ReadDirEffect, RootEffect,
                                ReadEnvEffect, ReadIOEffect], forbids: [].}

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

proc isInnerProc(s: PSym): bool {....raises: [KeyError, ValueError, IOError,
    Exception, OSError], tags: [WriteIOEffect, ReadDirEffect, RootEffect,
                                ReadEnvEffect, ReadIOEffect], forbids: [].}

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

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

proc liftIterToProc(g: ModuleGraph; fn: PSym; body: PNode; ptrType: PType;
                    idgen: IdGenerator): PNode {....raises: [KeyError, ValueError,
    IOError, Exception, OSError, ERecoverableError], tags: [WriteIOEffect,
    ReadDirEffect, RootEffect, ReadEnvEffect, ReadIOEffect], forbids: [].}

proc liftLambdas(g: ModuleGraph; fn: PSym; body: PNode; tooEarly: var bool;
                 idgen: IdGenerator; flags: TransformFlags): PNode {....raises: [
    KeyError, ValueError, IOError, Exception, OSError, ERecoverableError], tags: [
    WriteIOEffect, ReadDirEffect, RootEffect, ReadEnvEffect, ReadIOEffect],
    forbids: [].}

proc liftLambdasForTopLevel(module: PSym; body: PNode): PNode {....raises: [],
    tags: [], forbids: [].}

proc makeClosure(g: ModuleGraph; idgen: IdGenerator; prc: PSym; env: PNode;
                 info: TLineInfo): PNode {....raises: [KeyError, ValueError,
    IOError, Exception, OSError, ERecoverableError], tags: [WriteIOEffect,
    ReadDirEffect, RootEffect, ReadEnvEffect, ReadIOEffect], forbids: [].}

proc semCaptureSym(s, owner: PSym) {....raises: [KeyError, ValueError, IOError,
    Exception, OSError], tags: [WriteIOEffect, ReadDirEffect, RootEffect,
                                ReadEnvEffect, ReadIOEffect], forbids: [].}

template isIterator(owner: PSym): bool