Can anyone here provide some clarification on the mechanics behind how the Player GUID is generated? It looks like maybe they're taking a server-side generated uint32 along as the low bits and a pre-determined uint32 as the high bits and combining them into a uint64.