-- Corrected cast of 32-bit int to 64-bit pointer

-- Removes 64-bit portability issue.
size_t is guaranteed to be the same size as the pointer type.