Use portability.c to convert void* to integer.