/* DxeIplLzmaDecodeRange @ 0xffc17311 size=0xb18 */
int __fastcall DxeIplLzmaDecodeRange(int *a1, unsigned int n0x112, unsigned int a3)
{
  int n0xA_3; // edx
  unsigned int n0x1000000_11; // esi
  unsigned int n0x1000000; // edi
  int n4_3; // ecx
  unsigned __int8 *v7; // ebx
  int v8; // ebp
  int v9; // edx
  int v10; // ecx
  unsigned int n0x1000000_24; // eax
  int v12; // ebx
  unsigned int n4_4; // eax
  unsigned int n0x112_5; // ebp
  unsigned int n0x112_6; // eax
  int n3; // eax
  unsigned int n0x100; // ecx
  int v18; // edx
  unsigned int n0x1000000_23; // eax
  int n256; // ebx
  int v21; // ebp
  int v22; // eax
  int v23; // ebp
  int v24; // edx
  unsigned int v25; // ebp
  unsigned int v26; // ebx
  unsigned int n0x1000000_22; // eax
  unsigned int n0x112_3; // ebp
  unsigned int n0x1000000_1; // edi
  unsigned int v30; // ecx
  unsigned int n0x1000000_25; // eax
  unsigned int n0x1000000_6; // edi
  __int16 v33; // ax
  int v34; // ecx
  int n0xA_2; // edx
  int n1636; // eax
  unsigned int n0x1000000_2; // edi
  unsi... [29614 chars total]