VVM and WhiteBox development, framed, untested