Reported by Juergen Hannken-Illjes. XXX I prefer uint32_t, but there might be some namespace issues so for now it will do.