It crashes if you use unchecked_u32.