That should probably be `uint`, since 32-bit wants u32.