let
get_var_value var = get_vd_value var.var_def