// Original function: DebugPrintAssert
// Address: 0x88C
// Signature: __int64 __fastcall DebugPrintAssert(__int64 a1, __int64 a2, __int64 a3)

__int64 __fastcall DebugPrintAssert(__int64 a1, __int64 a2, __int64 a3)
{
  __int64 result; // rax

  result = GetDebugLibProtocol(); /*0x8a4*/
  if ( result ) /*0x8ac*/
    return (*(__int64 (__fastcall **)(__int64, __int64, __int64))(result + 8))(a1, a2, a3); /*0x8b7*/
  return result; /*0x8c4*/
}