// BoolToString - decompiled from Platform.efi
unsigned __int64 __fastcall BoolToString(_BYTE *x_UEFI)
{
  _BYTE *x_UEFI_1; // rbx
  unsigned __int64 i; // rdi

  x_UEFI_1 = x_UEFI; /*0x5956*/
  if ( !x_UEFI ) /*0x595c*/
    Assert((__int64)"e:\\hs\\MdePkg\\Library\\BaseLib\\String.c", 1082, (__int64)"String != ((void *) 0)"); /*0x5971*/
  for ( i = 0; *x_UEFI_1; ++i ) /*0x5978*/
  {
    if ( i >= 0xF4240 ) /*0x5984*/
      Assert( /*0x5999*/
        (__int64)"e:\\hs\\MdePkg\\Library\\BaseLib\\String.c",
        1090,
        (__int64)"Length < _gPcd_FixedAtBuild_PcdMaximumAsciiStringLength");
    ++x_UEFI_1; /*0x599e*/
  }
  return i; /*0x59b1*/
}