ode        { font-family: courier;font-weight: bold}
    span.code        { font-family: courier;font-weight: normal}
-->
  </style>
</head>

<body bgcolor="white" text="#000000" link="#0000ff" vlink="#ff00ff"
      alink="#ff0000">

<center>
<a href="http://www.ericsson.com/technology/opensource/erlang">
  <img  alt="Ericsson AB" BORDER=0>
</a>
<br>

<font size="-1">
  [<a href="index.html">Up</a> |
   <a href="http://www.ericsson.com/technology/opensource/erlang">Ericsson AB</a>]
</font>
<br/>

<p>
<font 