proc createDecodeContext(config: ConfigRef; cache: IdentCache): DecodeContext {.
    ...raises: [], tags: [], forbids: [].}

proc firstSon(n: Cursor): Cursor {.inline, ...raises: [], tags: [], forbids: [].}

proc isStub(s: PSym): bool {.inline, ...raises: [], tags: [], forbids: [].}

proc isStub(t: PType): bool {.inline, ...raises: [], tags: [], forbids: [].}

proc loadNifModule(c: var DecodeContext; f: FileIndex): PNode {.
    ...raises: [Exception, OSError, ValueError, IOError, KeyError], tags: [
    RootEffect, ReadEnvEffect, ReadIOEffect, WriteIOEffect, ReadDirEffect],
    forbids: [].}

proc loadSym(c: var DecodeContext; s: PSym) {.
    ...raises: [ValueError, IOError, KeyError, OSError, Exception],
    tags: [WriteIOEffect, ReadEnvEffect, ReadIOEffect, RootEffect], forbids: [].}

proc loadType(c: var DecodeContext; t: PType) {.
    ...raises: [ValueError, IOError, KeyError, OSError, Exception],
    tags: [WriteIOEffect, ReadEnvEffect, ReadIOEffect, RootEffect], forbids: [].}

proc parseSymName(s: string): ParsedSymName {....raises: [], tags: [], forbids: [].}

proc writeNifModule(config: ConfigRef; thisModule: int32; n: PNode) {.
    ...raises: [KeyError, Exception, OSError, IOError, ValueError],
    tags: [RootEffect, ReadEnvEffect, ReadIOEffect, WriteIOEffect], forbids: [].}