Make pointer integer type language-dependent, instead of intptr_t