proc recordAdd(c: PCtx; info: TLineInfo; key: string; val: PNode) {.
    ...raises: [KeyError], tags: [], 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: [KeyError], tags: [], forbids: [].}

proc recordPut(c: PCtx; info: TLineInfo; key: string; k: string; val: PNode) {.
    ...raises: [KeyError], tags: [], forbids: [].}