https://asplos.dev/wordpress/2023/05/18/waffle-exposing-memory-ordering-bugs-efficiently-w/