Vtests: directly read Reg & Mem values