40e8bd8c76
then printing them with 0x%x which doesn't work when sizeof(void *) > sizeof(int).
then printing them with 0x%x which doesn't work when sizeof(void *) > sizeof(int).