proc recordAdd(c: PCtx; info: TLineInfo; key: string; val: PNode) {.
    ...raises: [Exception, OSError, KeyError, ValueError, IOError], tags: [
    RootEffect, WriteIOEffect, ReadEnvEffect, ReadIOEffect, ReadDirEffect],
    forbids: [].}

proc recordInc(c: PCtx; info: TLineInfo; key: string; by: BiggestInt) {.
    ...raises: [], tags: [], forbids: [].}

proc recordIncl(c: PCtx; info: TLineInfo; key: string; val: PNode) {.
    ...raises: [Exception, OSError, KeyError, ValueError, IOError], tags: [
    RootEffect, WriteIOEffect, ReadEnvEffect, ReadIOEffect, ReadDirEffect],
    forbids: [].}

proc recordPut(c: PCtx; info: TLineInfo; key: string; k: string; val: PNode) {.
    ...raises: [Exception, OSError, KeyError, ValueError, IOError], tags: [
    RootEffect, WriteIOEffect, ReadEnvEffect, ReadIOEffect, ReadDirEffect],
    forbids: [].}