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