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