let
get_vd_value vd = vd.vd_value