Investigate failure on test_virtualmem.cpp