<body text="#000000" bgcolor="#CBFFE1" link="#CC6600" vlink="#51188E" alink="#FF0000"> This file has been formatted with <br><b><font color="#FF0000">GNU cpp2html</font></b>, <a href="http://www.gnu.org/software/cpp2html">http://www.gnu.org/software/cpp2html</a><a href="http://www.gnu.org/software/cpp2html"></a> <br> by <i><font color="#009900">Lorenzo Bettini</font></i> <<a href="mailto:bettini@gnu.org">bettini@gnu.org</a>> <hr> <center> <table BORDER=3 CELLPADDING=10 COLS=1 WIDTH="90%" BGCOLOR="#FFFF99" NOSAVE > <tr NOSAVE> <td NOSAVE>