use stddef.h definitions for uintptr_t and intptr_t