This file has been formatted with
GNU cpp2html, http://www.gnu.org/software/cpp2html
by Lorenzo Bettini <bettini@gnu.org>

---