Nick provides some vaguely related <A 	 HREF="http://www.cs.washington.edu/homes/nick/misc/be-jpf.html">comments</A>.      <LI>
