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