let
set_vd_ots vd = vd.vd_on_the_stack :=
true