let
get_vd_pos vd = !(vd.vd_pos)