cv_i_update      2383 variable.c     	st_update(tbl, (st_data_t)key, cv_i_update, (st_data_t)ce);
cv_i_update      2912 variable.c     	st_update(tbl, (st_data_t)key, cv_i_update, 0);