[Vm-dev] correctness and robustness