* can now replace old verification code by new diagnostic functions * test case runs without failure ''UNRESOLVED:'' failure in verification of memory contents