replace uint32_t with u32