proc checkForSink(config: ConfigRef; idgen: IdGenerator; owner: PSym; arg: PNode) {....raises: [
    KeyError, ValueError, IOError, Exception, OSError, ERecoverableError], tags: [
    WriteIOEffect, ReadDirEffect, RootEffect, ReadEnvEffect, ReadIOEffect],
    forbids: [].}

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

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

proc setEffectsForProcType(g: ModuleGraph; t: PType; n: PNode; s: PSym = nil) {....raises: [
    KeyError, ValueError, IOError, OSError, Exception, ERecoverableError], tags: [
    WriteIOEffect, ReadEnvEffect, ReadIOEffect, ReadDirEffect, RootEffect],
    forbids: [].}

proc trackProc(c: PContext; s: PSym; body: PNode) {....raises: [KeyError,
    ValueError, IOError, OSError, Exception, ERecoverableError], tags: [
    WriteIOEffect, ReadEnvEffect, ReadIOEffect, ReadDirEffect, RootEffect,
    TimeEffect], forbids: [].}

proc trackStmt(c: PContext; module: PSym; n: PNode; isTopLevel: bool) {....raises: [
    KeyError, ValueError, IOError, OSError, Exception, ERecoverableError], tags: [
    WriteIOEffect, ReadEnvEffect, ReadIOEffect, ReadDirEffect, RootEffect,
    TimeEffect], forbids: [].}