Fixed a couple of pointer inconsistencies (like casts from void* to intptr_t without using the IAllocator instance)