u32 is shorter than auto here.