- ext->nvars = dict->nvar;
- ext->vars = xmalloc (sizeof *ext->vars * dict->nvar);
- for (i = 0; i < dict->nvar; i++)
- ext->vars[i] = dict->var[i]->width;
+ ext->nvars = dict_get_var_cnt (dict);
+ ext->vars = xmalloc (sizeof *ext->vars * ext->nvars);
+ for (i = 0; i < ext->nvars; i++)
+ ext->vars[i] = dict_get_var (dict, i)->width;