Yeah, if you debug the code.. I also don't believe you get back the same value with `.read_uint32` as you do with `.read_pointer().address`.

Verify it for yourself -- there was something peculiar about it.