#end def
#def body
-<h1>ERROR</h1>
-
<p>$errorMessage in operation $op. This shouldn't happen! Please
-email sipb-xen@mit.edu to explain how it happened. Stderr:</p>
+email xvm@mit.edu to explain how it happened. Stderr:</p>
<pre>$stderr</pre>
#end def