proc exec(rdb: SqliteConnections; queries: seq[string]) {.
    ...raises: [ValueError, Exception, OSError, IOError], tags: [TimeEffect,
    RootEffect, WriteDirEffect, ReadDirEffect, ReadIOEffect, WriteIOEffect],
    forbids: [].}

proc execThenSaveHistory(rdb: SqliteConnections; tableName: string;
                         queries: seq[string]; checksum: string) {.
    ...raises: [ValueError, Exception, OSError, IOError, KeyError, DbError], tags: [
    TimeEffect, RootEffect, WriteDirEffect, ReadDirEffect, ReadIOEffect,
    WriteIOEffect, ReadDbEffect], forbids: [].}

proc execThenSaveHistory(rdb: SqliteConnections; tableName: string;
                         query: string; checksum: string) {.
    ...raises: [ValueError, Exception, OSError, IOError, KeyError, DbError], tags: [
    TimeEffect, RootEffect, WriteDirEffect, ReadDirEffect, ReadIOEffect,
    WriteIOEffect, ReadDbEffect], forbids: [].}

proc notAllowedOption(option, typ, column: string) {....raises: [DbError],
    tags: [], forbids: [].}

proc notAllowedType(typ: string) {....raises: [DbError], tags: [], forbids: [].}

proc shouldRun(rdb: SqliteConnections; table: Table; checksum: string;
               isReset: bool): bool {....raises: [ValueError, Exception, OSError,
    KeyError, IOError, CatchableError], tags: [TimeEffect, RootEffect,
    WriteDirEffect, ReadDirEffect, ReadIOEffect, WriteIOEffect, ReadDbEffect],
                                      forbids: [].}

proc sqliteLengthCheck(column: Column; maxLength: int): string {....raises: [],
    tags: [], forbids: [].}