This file has been formatted with
GNU cpp2html (GNU source-highlight), http://www.gnu.org/software/src-highlite
by Lorenzo Bettini <bettini@gnu.org>