Make it work with rustc's debug_assert

[antoyo]

In rustc, there are some debug assertions that compare types.
To make them pass, we will need to at least do the following:

• Always use unsigned integers (casting to signed only when necessary).
• Always use void pointers (casting to typed pointers only when necessary).