Runtime support for the atomic-transactions transformation implemented in the
harpoon.Analysis.LowQuad.Transactions
package. @author C. Scott Ananian (cananian@alumni.princeton.edu)