public void alter_index(string dbname, string base_tbl_name, string idx_name, Index new_idx) { send_alter_index(dbname, base_tbl_name, idx_name, new_idx); recv_alter_index(); }