Add header for intptr_t