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