This research was sponsored in part by the Defense Advanced Research
Projects Agency CSTO under the title ``The Fox Project: Advanced
Languages for Systems Software,'' ARPA Order No. C533, issued by
ESC/ENS under Contract No. F19628-95-C-0050. The views and conclusions
contained in this document are those of the authors and should not be
interpreted as representing the official policies, either expressed or
implied, of the Defense Advanced Research Projects Agency or the
U.S. Government.