[PATCH 2/6] secur32: Use 64-bit integer to store session pointer.