temp save;  M.selftest_verify_tso(): added; M.unittest_verify_tso(): modified