The correct integer type to use to store pointers (the only one specified to actually work) is uintptr_t, not size_t.