Again XCode was complaining about the void* -> U32 cast