delint (conversion of void* to integer of different size on 64bit)