temp save; intel.lua: unittest_verify_tso: add functionality :-)