Should be done with STM + Update Sanitizer