Frenetic and Ox, as presented at PLDI 2013.