let
get_vd_ots vd = !(vd.vd_on_the_stack)