r24340: Use standard data type uint32_t rather than tdb-specific u32.