The document provides the extended-C version needed to write 
high-level for the Explicit Multi-Threading (XMT) bridging models.
(Also cross-referenced as UMIACS-TR-2000-74)