let
get_var_pos v = get_vd_pos v.var_def