proc loadBool(filename`gensym4: string): bool {.
    ...raises: [OSError, IOError, ValueError],
    tags: [ReadDirEffect, ReadEnvEffect, ReadIOEffect, WriteDirEffect],
    forbids: [].}

proc loadFloat(filename`gensym3: string): float {.
    ...raises: [OSError, IOError, ValueError],
    tags: [ReadDirEffect, ReadEnvEffect, ReadIOEffect, WriteDirEffect],
    forbids: [].}

proc loadHexInt(filename`gensym5: string): int {.
    ...raises: [OSError, IOError, ValueError],
    tags: [ReadDirEffect, ReadEnvEffect, ReadIOEffect, WriteDirEffect],
    forbids: [].}

proc loadHexInt(filename`gensym6: string): int {.
    ...raises: [OSError, IOError, ValueError],
    tags: [ReadDirEffect, ReadEnvEffect, ReadIOEffect, WriteDirEffect],
    forbids: [].}

proc loadInt(filename`gensym2: string): int {.
    ...raises: [OSError, IOError, ValueError],
    tags: [ReadDirEffect, ReadEnvEffect, ReadIOEffect, WriteDirEffect],
    forbids: [].}

proc loadJson(filename`gensym0: string): JsonNode {.
    ...raises: [OSError, IOError, JsonParsingError, ValueError], tags: [
    ReadDirEffect, ReadEnvEffect, ReadIOEffect, WriteDirEffect, WriteIOEffect],
    forbids: [].}

proc loadOctInt(filename`gensym7: string): int {.
    ...raises: [OSError, IOError, ValueError],
    tags: [ReadDirEffect, ReadEnvEffect, ReadIOEffect, WriteDirEffect],
    forbids: [].}

proc loadString(filename`gensym1: string): string {....raises: [OSError, IOError],
    tags: [ReadDirEffect, ReadEnvEffect, ReadIOEffect, WriteDirEffect],
    forbids: [].}

proc save(filename`gensym0: string; data`gensym0: JsonNode) {.
    ...raises: [OSError, IOError], tags: [ReadDirEffect, ReadEnvEffect,
                                       ReadIOEffect, WriteDirEffect,
                                       WriteIOEffect], forbids: [].}

proc save(filename`gensym1: string; data`gensym1: string) {.
    ...raises: [OSError, IOError], tags: [ReadDirEffect, ReadEnvEffect,
                                       ReadIOEffect, WriteDirEffect,
                                       WriteIOEffect], forbids: [].}

proc save(filename`gensym2: string; data`gensym2: int) {.
    ...raises: [OSError, IOError], tags: [ReadDirEffect, ReadEnvEffect,
                                       ReadIOEffect, WriteDirEffect,
                                       WriteIOEffect], forbids: [].}

proc save(filename`gensym3: string; data`gensym3: float) {.
    ...raises: [OSError, IOError], tags: [ReadDirEffect, ReadEnvEffect,
                                       ReadIOEffect, WriteDirEffect,
                                       WriteIOEffect], forbids: [].}

proc save(filename`gensym4: string; data`gensym4: bool) {.
    ...raises: [OSError, IOError], tags: [ReadDirEffect, ReadEnvEffect,
                                       ReadIOEffect, WriteDirEffect,
                                       WriteIOEffect], forbids: [].}