K 10 svn:author V 3 imp K 8 svn:date V 27 2019-10-09T21:02:06.363361Z K 7 svn:log V 187 Fix casting error from newer gcc Cast the pointers to (uintptr_t) before assigning to type uint64_t. This eliminates an error from gcc when we cast the pointer to a larger integer type. END