Avoid gcc warning ("static not first") -- Peter Breitenlohner <peb mppmu.mpg.de>