Add zhi's loop found in Frenetic. N.B. generated on the Frenetic VM