ede21119
fdb7308b
* commit 'ede21119df2a9bfed7125380fbe7af32c7aa13e3': Use uintptr_t for cast pointer to integer.