// Uint64ToStr - decompiled from Platform.efi
unsigned __int64 __fastcall Uint64ToStr(
        _WORD *Source,
        unsigned __int64 n512,
        __int64 n160,
        __int64 a4,
        unsigned __int64 n5)
{
  if ( ((unsigned __int8)Source & 1) != 0 ) /*0x6253*/
    Assert( /*0x6268*/
      (__int64)"e:\\hs\\MdePkg\\Library\\BasePrintLib\\PrintLib.c",
      473,
      (__int64)"(((UINTN) (Buffer)) & 0x01) == 0");
  return PrintLibInternalSPrint(Source, n512, n160, a4, n5); /*0x6297*/
}