- Allocator now uses uint64_t instead of void*. - This is due to the fact that it is required to work on 64 bit addresses in 32 bit dll. Change-Id: Ia715ea7913efc95a2974aff8dff390203d8125a8