Use the abstract type of uint32_t
Authored by: fweispfenning 2013-03-25
Parent: [r636]
Child: [r638]