HVM3's Optimal Atomic Linker (With Polarization)
gist.github.com