return 0 at the end to prevent g++ 4.2.3 from complaining about
a missing return.  Reported by Denis Poitrenaud.