get rid of `var_values`, instead store values in `v_extra`