use intptr_t instead of int64_t for 32bit platforms