proc drop(rdb: SqliteConnections; tables: varargs[Table]) {....raises: [Exception],
    tags: [ReadIOEffect, RootEffect], forbids: [].}