Whenever we use `u32` or `s32` to hold a pointer, we should change it to use `uintptr_t` or `intptr_t` instead.