/* DxeIplLzmaDecodeBitTree @ 0xffc17f20 size=0x576 */
int __fastcall DxeIplLzmaDecodeBitTree(_DWORD *a1, unsigned __int8 *a2, int n0x14)
{
  unsigned __int8 *v4; // ebx
  unsigned int n7; // edx
  unsigned int v6; // esi
  unsigned int n0x1000000; // edi
  int v8; // ecx
  unsigned int v9; // eax
  unsigned int n0x1000000_1; // edi
  int n0x14b_1; // eax
  int v12; // ecx
  unsigned int n0x100_1; // ecx
  int v14; // edx
  unsigned int v15; // eax
  unsigned int v16; // ecx
  int v17; // edx
  int v18; // eax
  int n256; // ebp
  int v20; // eax
  unsigned int n0x100; // edx
  int v22; // ecx
  unsigned int v23; // eax
  int n2_1; // eax
  unsigned int n0x1000000_2; // edi
  unsigned int n0x1000000_6; // esi
  int v27; // ecx
  unsigned int n0x1000000_16; // eax
  unsigned int n0x1000000_9; // edi
  int n1636; // eax
  unsigned int n0x1000000_3; // edi
  int v32; // eax
  unsigned int n0x1000000_4; // ecx
  unsigned int n0x1000000_8; // edi
  int v35; // edx
  unsigned int n0x1000000_5; // eax
  unsigned int n0x1000000_7; // edi
  int v38... [14569 chars total]