This file has been formatted with
GNU Source-highlight, http://www.gnu.org/software/src-highlite
by Lorenzo Bettini http://www.lorenzobettini.it

---