This is the persisted version of the "RustBelt Meets Relaxed Memory" paper's artifact in POPL 2020.