\input zb-basic
\input zb-ioport
\iteman{io-port 70860725}
\itemau{Carbin, Michael; Misailovic, Sasa; Kling, Michael; Rinard, Martin C.}
\itemti{Detecting and escaping infinite loops with jolt}
\itemso{ECOOP, 609-633 (2011).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-22655-7\_28}
\end