
Bignum_conflict bignum_from_bytes_le(uchar *data,int nbytes)

{
  BignumInt *pBVar1;
  Bignum_conflict pBVar2;
  Bignum_conflict pBVar3;
  BignumInt BVar4;
  uint uVar5;
  uint uVar6;
  BignumInt BVar7;
  int length;
  
  if (0xffffffe < (uint)nbytes) {
    pBVar2 = (Bignum_conflict)
             (*(code *)PTR___assert_fail_000b0ac0)
                       (PTR_DAT_000b01d0 + -0x6da4,PTR_DAT_000b01d0 + -0x6e40,0x59a,
                        PTR_DAT_000b01d0 + -0x6cb0);
    return pBVar2;
  }
  length = nbytes + 3 >> 2;
  pBVar2 = newbn(length);
  if (length != 0) {
    pBVar3 = pBVar2;
    do {
      pBVar3[1] = 0;
      pBVar3 = pBVar3 + 1;
    } while (pBVar3 != pBVar2 + length);
  }
  uVar5 = 0;
  if (nbytes != 0) {
    do {
      uVar6 = uVar5 + 1;
      pBVar2[((int)uVar5 >> 2) + 1] =
           pBVar2[((int)uVar5 >> 2) + 1] | (uint)data[uVar5] << ((uVar5 & 3) << 3);
      uVar5 = uVar6;
    } while (nbytes != uVar6);
  }
  BVar4 = *pBVar2;
  if (1 < BVar4) {
    pBVar3 = pBVar2 + BVar4;
    BVar7 = *pBVar3;
    while (BVar7 == 0) {
      BVar4 = BVar4 - 1;
      *pBVar2 = BVar4;
      if (BVar4 == 1) {
        return pBVar2;
      }
      pBVar1 = pBVar3 + -1;
      pBVar3 = pBVar3 + -1;
      BVar7 = *pBVar1;
    }
  }
  return pBVar2;
}



uint * bignum_from_bytes_le(int param_1,uint param_2)

{
  uint *puVar1;
  uint *puVar2;
  undefined4 uVar3;
  uint *puVar4;
  uint uVar5;
  uint uVar6;
  byte *pbVar7;
  undefined *puVar8;
  undefined4 *puVar9;
  int iVar10;
  
  if (0xffffffe < param_2) {
    puVar9 = (undefined4 *)&DAT_0000059a;
    puVar8 = PTR_DAT_000b01d0 + -0x6e40;
    pbVar7 = PTR_DAT_000b01d0 + -0x6da4;
    (*(code *)PTR___assert_fail_000b0ac0)();
    if ((int)puVar8 < 2) {
      return (uint *)0xffffffff;
    }
    iVar10 = (int)((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7) >> 3;
    puVar2 = (uint *)0xffffffff;
    if (iVar10 + 1 < (int)puVar8) {
      if (puVar9 == (undefined4 *)0x0) {
        return (uint *)(iVar10 + 2);
      }
      uVar3 = bignum_from_bytes(pbVar7 + 2,iVar10);
      *puVar9 = uVar3;
      puVar2 = (uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7));
    }
    return puVar2;
  }
  iVar10 = (int)(param_2 + 3) >> 2;
  puVar2 = (uint *)FUN_00056014(iVar10);
  if (iVar10 != 0) {
    puVar4 = puVar2;
    do {
      puVar4[1] = 0;
      puVar4 = puVar4 + 1;
    } while (puVar4 != puVar2 + iVar10);
  }
  uVar5 = 0;
  if (param_2 != 0) {
    do {
      uVar6 = uVar5 + 1;
      puVar2[((int)uVar5 >> 2) + 1] =
           puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3);
      uVar5 = uVar6;
    } while (param_2 != uVar6);
  }
  uVar5 = *puVar2;
  if (1 < uVar5) {
    puVar4 = puVar2 + uVar5;
    uVar6 = *puVar4;
    while (uVar6 == 0) {
      uVar5 = uVar5 - 1;
      *puVar2 = uVar5;
      if (uVar5 == 1) {
        return puVar2;
      }
      puVar1 = puVar4 + -1;
      puVar4 = puVar4 + -1;
      uVar6 = *puVar1;
    }
  }
  return puVar2;
}


lui gp,0x6
addiu gp,gp,0xf78
addu gp,gp,t9
addiu sp,sp,-0x28
lui v0,0xfff
ori v0,v0,0xffff
sw gp,0x10(sp)
sltu v0,a1,v0
sw ra,0x24(sp)
sw s2,0x20(sp)
sw s1,0x1c(sp)
beq v0,zero,0x000572e8
_sw s0,0x18(sp)
addiu s0,a1,0x3
lw t9,-0x7ac4(gp)
or s2,a0,zero
sra s0,s0,0x2
addiu t9,t9,0x6014
or a0,s0,zero
bal 0x00056014
_or s1,a1,zero
beq s0,zero,0x0005724c
_sll a0,s0,0x2
or v1,v0,zero
addu a0,a0,v0
sw zero,0x4(v1)
addiu v1,v1,0x4
bne v1,a0,0x0005723c
_nop
beq s1,zero,0x00057288
_or a0,zero,zero
sra v1,a0,0x2
addu a2,s2,a0
addiu v1,v1,0x1
sll a3,a0,0x3
sll v1,v1,0x2
lbu a2,0x0(a2)
addiu a0,a0,0x1
addu v1,v0,v1
sllv a3,a2,a3
lw a2,0x0(v1)
or a2,a2,a3
bne s1,a0,0x00057254
_sw a2,0x0(v1)
lw v1,0x0(v0)
sltiu a0,v1,0x2
bne a0,zero,0x000572d4
_lw ra,0x24(sp)
sll a0,v1,0x2
addu a0,v0,a0
lw a1,0x0(a0)
bne a1,zero,0x000572d4
_nop
addiu v1,v1,-0x1
b 0x000572c8
_li a2,0x1
lw a1,-0x4(a0)
addiu v1,v1,-0x1
bne a1,zero,0x000572d0
_addiu a0,a0,-0x4
bne v1,a2,0x000572b8
_sw v1,0x0(v0)
lw ra,0x24(sp)
lw s2,0x20(sp)
lw s1,0x1c(sp)
lw s0,0x18(sp)
jr ra
_addiu sp,sp,0x28
lw a3,-0x7f80(gp)
li a2,0x59a
lw a1,-0x7f80(gp)
lw a0,-0x7f80(gp)
lw t9,-0x7690(gp)
addiu a3,a3,-0x6cb0
addiu a1,a1,-0x6e40
jalr t9
_addiu a0,a0,-0x6da4
(translation_unit "uint * bignum_from_bytes_le(int param_1,uint param_2)\n\n{\n  uint *puVar1;\n  uint *puVar2;\n  undefined4 uVar3;\n  uint *puVar4;\n  uint uVar5;\n  uint uVar6;\n  byte *pbVar7;\n  undefined *puVar8;\n  undefined4 *puVar9;\n  int iVar10;\n  \n  if (0xffffffe < param_2) {\n    puVar9 = (undefined4 *)&DAT_0000059a;\n    puVar8 = PTR_DAT_000b01d0 + -0x6e40;\n    pbVar7 = PTR_DAT_000b01d0 + -0x6da4;\n    (*(code *)PTR___assert_fail_000b0ac0)();\n    if ((int)puVar8 < 2) {\n      return (uint *)0xffffffff;\n    }\n    iVar10 = (int)((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7) >> 3;\n    puVar2 = (uint *)0xffffffff;\n    if (iVar10 + 1 < (int)puVar8) {\n      if (puVar9 == (undefined4 *)0x0) {\n        return (uint *)(iVar10 + 2);\n      }\n      uVar3 = bignum_from_bytes(pbVar7 + 2,iVar10);\n      *puVar9 = uVar3;\n      puVar2 = (uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7));\n    }\n    return puVar2;\n  }\n  iVar10 = (int)(param_2 + 3) >> 2;\n  puVar2 = (uint *)FUN_00056014(iVar10);\n  if (iVar10 != 0) {\n    puVar4 = puVar2;\n    do {\n      puVar4[1] = 0;\n      puVar4 = puVar4 + 1;\n    } while (puVar4 != puVar2 + iVar10);\n  }\n  uVar5 = 0;\n  if (param_2 != 0) {\n    do {\n      uVar6 = uVar5 + 1;\n      puVar2[((int)uVar5 >> 2) + 1] =\n           puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3);\n      uVar5 = uVar6;\n    } while (param_2 != uVar6);\n  }\n  uVar5 = *puVar2;\n  if (1 < uVar5) {\n    puVar4 = puVar2 + uVar5;\n    uVar6 = *puVar4;\n    while (uVar6 == 0) {\n      uVar5 = uVar5 - 1;\n      *puVar2 = uVar5;\n      if (uVar5 == 1) {\n        return puVar2;\n      }\n      puVar1 = puVar4 + -1;\n      puVar4 = puVar4 + -1;\n      uVar6 = *puVar1;\n    }\n  }\n  return puVar2;\n}\n\n" (function_definition "uint * bignum_from_bytes_le(int param_1,uint param_2)\n\n{\n  uint *puVar1;\n  uint *puVar2;\n  undefined4 uVar3;\n  uint *puVar4;\n  uint uVar5;\n  uint uVar6;\n  byte *pbVar7;\n  undefined *puVar8;\n  undefined4 *puVar9;\n  int iVar10;\n  \n  if (0xffffffe < param_2) {\n    puVar9 = (undefined4 *)&DAT_0000059a;\n    puVar8 = PTR_DAT_000b01d0 + -0x6e40;\n    pbVar7 = PTR_DAT_000b01d0 + -0x6da4;\n    (*(code *)PTR___assert_fail_000b0ac0)();\n    if ((int)puVar8 < 2) {\n      return (uint *)0xffffffff;\n    }\n    iVar10 = (int)((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7) >> 3;\n    puVar2 = (uint *)0xffffffff;\n    if (iVar10 + 1 < (int)puVar8) {\n      if (puVar9 == (undefined4 *)0x0) {\n        return (uint *)(iVar10 + 2);\n      }\n      uVar3 = bignum_from_bytes(pbVar7 + 2,iVar10);\n      *puVar9 = uVar3;\n      puVar2 = (uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7));\n    }\n    return puVar2;\n  }\n  iVar10 = (int)(param_2 + 3) >> 2;\n  puVar2 = (uint *)FUN_00056014(iVar10);\n  if (iVar10 != 0) {\n    puVar4 = puVar2;\n    do {\n      puVar4[1] = 0;\n      puVar4 = puVar4 + 1;\n    } while (puVar4 != puVar2 + iVar10);\n  }\n  uVar5 = 0;\n  if (param_2 != 0) {\n    do {\n      uVar6 = uVar5 + 1;\n      puVar2[((int)uVar5 >> 2) + 1] =\n           puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3);\n      uVar5 = uVar6;\n    } while (param_2 != uVar6);\n  }\n  uVar5 = *puVar2;\n  if (1 < uVar5) {\n    puVar4 = puVar2 + uVar5;\n    uVar6 = *puVar4;\n    while (uVar6 == 0) {\n      uVar5 = uVar5 - 1;\n      *puVar2 = uVar5;\n      if (uVar5 == 1) {\n        return puVar2;\n      }\n      puVar1 = puVar4 + -1;\n      puVar4 = puVar4 + -1;\n      uVar6 = *puVar1;\n    }\n  }\n  return puVar2;\n}" type_identifier (pointer_declarator "* bignum_from_bytes_le(int param_1,uint param_2)" * (function_declarator "bignum_from_bytes_le(int param_1,uint param_2)" identifier (parameter_list "(int param_1,uint param_2)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "uint param_2" type_identifier identifier) )))) (compound_statement "{\n  uint *puVar1;\n  uint *puVar2;\n  undefined4 uVar3;\n  uint *puVar4;\n  uint uVar5;\n  uint uVar6;\n  byte *pbVar7;\n  undefined *puVar8;\n  undefined4 *puVar9;\n  int iVar10;\n  \n  if (0xffffffe < param_2) {\n    puVar9 = (undefined4 *)&DAT_0000059a;\n    puVar8 = PTR_DAT_000b01d0 + -0x6e40;\n    pbVar7 = PTR_DAT_000b01d0 + -0x6da4;\n    (*(code *)PTR___assert_fail_000b0ac0)();\n    if ((int)puVar8 < 2) {\n      return (uint *)0xffffffff;\n    }\n    iVar10 = (int)((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7) >> 3;\n    puVar2 = (uint *)0xffffffff;\n    if (iVar10 + 1 < (int)puVar8) {\n      if (puVar9 == (undefined4 *)0x0) {\n        return (uint *)(iVar10 + 2);\n      }\n      uVar3 = bignum_from_bytes(pbVar7 + 2,iVar10);\n      *puVar9 = uVar3;\n      puVar2 = (uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7));\n    }\n    return puVar2;\n  }\n  iVar10 = (int)(param_2 + 3) >> 2;\n  puVar2 = (uint *)FUN_00056014(iVar10);\n  if (iVar10 != 0) {\n    puVar4 = puVar2;\n    do {\n      puVar4[1] = 0;\n      puVar4 = puVar4 + 1;\n    } while (puVar4 != puVar2 + iVar10);\n  }\n  uVar5 = 0;\n  if (param_2 != 0) {\n    do {\n      uVar6 = uVar5 + 1;\n      puVar2[((int)uVar5 >> 2) + 1] =\n           puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3);\n      uVar5 = uVar6;\n    } while (param_2 != uVar6);\n  }\n  uVar5 = *puVar2;\n  if (1 < uVar5) {\n    puVar4 = puVar2 + uVar5;\n    uVar6 = *puVar4;\n    while (uVar6 == 0) {\n      uVar5 = uVar5 - 1;\n      *puVar2 = uVar5;\n      if (uVar5 == 1) {\n        return puVar2;\n      }\n      puVar1 = puVar4 + -1;\n      puVar4 = puVar4 + -1;\n      uVar6 = *puVar1;\n    }\n  }\n  return puVar2;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "uint *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "undefined4 uVar3;" type_identifier identifier ;) (declaration "uint *puVar4;" type_identifier (pointer_declarator "*puVar4" * identifier) ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "byte *pbVar7;" type_identifier (pointer_declarator "*pbVar7" * identifier) ;) (declaration "undefined *puVar8;" type_identifier (pointer_declarator "*puVar8" * identifier) ;) (declaration "undefined4 *puVar9;" type_identifier (pointer_declarator "*puVar9" * identifier) ;) (declaration "int iVar10;" primitive_type identifier ;) (if_statement "if (0xffffffe < param_2) {\n    puVar9 = (undefined4 *)&DAT_0000059a;\n    puVar8 = PTR_DAT_000b01d0 + -0x6e40;\n    pbVar7 = PTR_DAT_000b01d0 + -0x6da4;\n    (*(code *)PTR___assert_fail_000b0ac0)();\n    if ((int)puVar8 < 2) {\n      return (uint *)0xffffffff;\n    }\n    iVar10 = (int)((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7) >> 3;\n    puVar2 = (uint *)0xffffffff;\n    if (iVar10 + 1 < (int)puVar8) {\n      if (puVar9 == (undefined4 *)0x0) {\n        return (uint *)(iVar10 + 2);\n      }\n      uVar3 = bignum_from_bytes(pbVar7 + 2,iVar10);\n      *puVar9 = uVar3;\n      puVar2 = (uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7));\n    }\n    return puVar2;\n  }" if (parenthesized_expression "(0xffffffe < param_2)" ( (binary_expression "0xffffffe < param_2" number_literal < identifier) )) (compound_statement "{\n    puVar9 = (undefined4 *)&DAT_0000059a;\n    puVar8 = PTR_DAT_000b01d0 + -0x6e40;\n    pbVar7 = PTR_DAT_000b01d0 + -0x6da4;\n    (*(code *)PTR___assert_fail_000b0ac0)();\n    if ((int)puVar8 < 2) {\n      return (uint *)0xffffffff;\n    }\n    iVar10 = (int)((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7) >> 3;\n    puVar2 = (uint *)0xffffffff;\n    if (iVar10 + 1 < (int)puVar8) {\n      if (puVar9 == (undefined4 *)0x0) {\n        return (uint *)(iVar10 + 2);\n      }\n      uVar3 = bignum_from_bytes(pbVar7 + 2,iVar10);\n      *puVar9 = uVar3;\n      puVar2 = (uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7));\n    }\n    return puVar2;\n  }" { (expression_statement "puVar9 = (undefined4 *)&DAT_0000059a;" (assignment_expression "puVar9 = (undefined4 *)&DAT_0000059a" identifier = (cast_expression "(undefined4 *)&DAT_0000059a" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (pointer_expression "&DAT_0000059a" & identifier))) ;) (expression_statement "puVar8 = PTR_DAT_000b01d0 + -0x6e40;" (assignment_expression "puVar8 = PTR_DAT_000b01d0 + -0x6e40" identifier = (binary_expression "PTR_DAT_000b01d0 + -0x6e40" identifier + number_literal)) ;) (expression_statement "pbVar7 = PTR_DAT_000b01d0 + -0x6da4;" (assignment_expression "pbVar7 = PTR_DAT_000b01d0 + -0x6da4" identifier = (binary_expression "PTR_DAT_000b01d0 + -0x6da4" identifier + number_literal)) ;) (expression_statement "(*(code *)PTR___assert_fail_000b0ac0)();" (call_expression "(*(code *)PTR___assert_fail_000b0ac0)()" (parenthesized_expression "(*(code *)PTR___assert_fail_000b0ac0)" ( (pointer_expression "*(code *)PTR___assert_fail_000b0ac0" * (cast_expression "(code *)PTR___assert_fail_000b0ac0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( ))) ;) (if_statement "if ((int)puVar8 < 2) {\n      return (uint *)0xffffffff;\n    }" if (parenthesized_expression "((int)puVar8 < 2)" ( (binary_expression "(int)puVar8 < 2" (cast_expression "(int)puVar8" ( (type_descriptor "int" primitive_type) ) identifier) < number_literal) )) (compound_statement "{\n      return (uint *)0xffffffff;\n    }" { (return_statement "return (uint *)0xffffffff;" return (cast_expression "(uint *)0xffffffff" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal) ;) })) (expression_statement "iVar10 = (int)((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7) >> 3;" (assignment_expression "iVar10 = (int)((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7) >> 3" identifier = (binary_expression "(int)((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7) >> 3" (cast_expression "(int)((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7)" ( (binary_expression "(uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7" (binary_expression "(uint)*pbVar7 * 0x100 + (uint)pbVar7[1]" (binary_expression "(uint)*pbVar7 * 0x100" (binary_expression "(uint)*pbVar7" (parenthesized_expression "(uint)" ( identifier )) * identifier) * number_literal) + (cast_expression "(uint)pbVar7[1]" ( (type_descriptor "uint" type_identifier) ) (subscript_expression "pbVar7[1]" identifier [ number_literal ]))) + number_literal) ))) >> number_literal)) ;) (expression_statement "puVar2 = (uint *)0xffffffff;" (assignment_expression "puVar2 = (uint *)0xffffffff" identifier = (cast_expression "(uint *)0xffffffff" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) ;) (if_statement "if (iVar10 + 1 < (int)puVar8) {\n      if (puVar9 == (undefined4 *)0x0) {\n        return (uint *)(iVar10 + 2);\n      }\n      uVar3 = bignum_from_bytes(pbVar7 + 2,iVar10);\n      *puVar9 = uVar3;\n      puVar2 = (uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7));\n    }" if (parenthesized_expression "(iVar10 + 1 < (int)puVar8)" ( (binary_expression "iVar10 + 1 < (int)puVar8" (binary_expression "iVar10 + 1" identifier + number_literal) < (cast_expression "(int)puVar8" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n      if (puVar9 == (undefined4 *)0x0) {\n        return (uint *)(iVar10 + 2);\n      }\n      uVar3 = bignum_from_bytes(pbVar7 + 2,iVar10);\n      *puVar9 = uVar3;\n      puVar2 = (uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7));\n    }" { (if_statement "if (puVar9 == (undefined4 *)0x0) {\n        return (uint *)(iVar10 + 2);\n      }" if (parenthesized_expression "(puVar9 == (undefined4 *)0x0)" ( (binary_expression "puVar9 == (undefined4 *)0x0" identifier == (cast_expression "(undefined4 *)0x0" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n        return (uint *)(iVar10 + 2);\n      }" { (return_statement "return (uint *)(iVar10 + 2);" return (cast_expression "(uint *)(iVar10 + 2)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar10 + 2)" ( (binary_expression "iVar10 + 2" identifier + number_literal) ))) ;) })) (expression_statement "uVar3 = bignum_from_bytes(pbVar7 + 2,iVar10);" (assignment_expression "uVar3 = bignum_from_bytes(pbVar7 + 2,iVar10)" identifier = (call_expression "bignum_from_bytes(pbVar7 + 2,iVar10)" identifier (argument_list "(pbVar7 + 2,iVar10)" ( (binary_expression "pbVar7 + 2" identifier + number_literal) , identifier )))) ;) (expression_statement "*puVar9 = uVar3;" (assignment_expression "*puVar9 = uVar3" (pointer_expression "*puVar9" * identifier) = identifier) ;) (expression_statement "puVar2 = (uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7));" (assignment_expression "puVar2 = (uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7))" identifier = (cast_expression "(uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7))" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(pbVar7 + 2 + (iVar10 - (int)pbVar7))" ( (binary_expression "pbVar7 + 2 + (iVar10 - (int)pbVar7)" (binary_expression "pbVar7 + 2" identifier + number_literal) + (parenthesized_expression "(iVar10 - (int)pbVar7)" ( (binary_expression "iVar10 - (int)pbVar7" identifier - (cast_expression "(int)pbVar7" ( (type_descriptor "int" primitive_type) ) identifier)) ))) )))) ;) })) (return_statement "return puVar2;" return identifier ;) })) (expression_statement "iVar10 = (int)(param_2 + 3) >> 2;" (assignment_expression "iVar10 = (int)(param_2 + 3) >> 2" identifier = (binary_expression "(int)(param_2 + 3) >> 2" (cast_expression "(int)(param_2 + 3)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "(param_2 + 3)" ( (binary_expression "param_2 + 3" identifier + number_literal) ))) >> number_literal)) ;) (expression_statement "puVar2 = (uint *)FUN_00056014(iVar10);" (assignment_expression "puVar2 = (uint *)FUN_00056014(iVar10)" identifier = (cast_expression "(uint *)FUN_00056014(iVar10)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_00056014(iVar10)" identifier (argument_list "(iVar10)" ( identifier ))))) ;) (if_statement "if (iVar10 != 0) {\n    puVar4 = puVar2;\n    do {\n      puVar4[1] = 0;\n      puVar4 = puVar4 + 1;\n    } while (puVar4 != puVar2 + iVar10);\n  }" if (parenthesized_expression "(iVar10 != 0)" ( (binary_expression "iVar10 != 0" identifier != number_literal) )) (compound_statement "{\n    puVar4 = puVar2;\n    do {\n      puVar4[1] = 0;\n      puVar4 = puVar4 + 1;\n    } while (puVar4 != puVar2 + iVar10);\n  }" { (expression_statement "puVar4 = puVar2;" (assignment_expression "puVar4 = puVar2" identifier = identifier) ;) (do_statement "do {\n      puVar4[1] = 0;\n      puVar4 = puVar4 + 1;\n    } while (puVar4 != puVar2 + iVar10);" do (compound_statement "{\n      puVar4[1] = 0;\n      puVar4 = puVar4 + 1;\n    }" { (expression_statement "puVar4[1] = 0;" (assignment_expression "puVar4[1] = 0" (subscript_expression "puVar4[1]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "puVar4 = puVar4 + 1;" (assignment_expression "puVar4 = puVar4 + 1" identifier = (binary_expression "puVar4 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(puVar4 != puVar2 + iVar10)" ( (binary_expression "puVar4 != puVar2 + iVar10" identifier != (binary_expression "puVar2 + iVar10" identifier + identifier)) )) ;) })) (expression_statement "uVar5 = 0;" (assignment_expression "uVar5 = 0" identifier = number_literal) ;) (if_statement "if (param_2 != 0) {\n    do {\n      uVar6 = uVar5 + 1;\n      puVar2[((int)uVar5 >> 2) + 1] =\n           puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3);\n      uVar5 = uVar6;\n    } while (param_2 != uVar6);\n  }" if (parenthesized_expression "(param_2 != 0)" ( (binary_expression "param_2 != 0" identifier != number_literal) )) (compound_statement "{\n    do {\n      uVar6 = uVar5 + 1;\n      puVar2[((int)uVar5 >> 2) + 1] =\n           puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3);\n      uVar5 = uVar6;\n    } while (param_2 != uVar6);\n  }" { (do_statement "do {\n      uVar6 = uVar5 + 1;\n      puVar2[((int)uVar5 >> 2) + 1] =\n           puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3);\n      uVar5 = uVar6;\n    } while (param_2 != uVar6);" do (compound_statement "{\n      uVar6 = uVar5 + 1;\n      puVar2[((int)uVar5 >> 2) + 1] =\n           puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3);\n      uVar5 = uVar6;\n    }" { (expression_statement "uVar6 = uVar5 + 1;" (assignment_expression "uVar6 = uVar5 + 1" identifier = (binary_expression "uVar5 + 1" identifier + number_literal)) ;) (expression_statement "puVar2[((int)uVar5 >> 2) + 1] =\n           puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3);" (assignment_expression "puVar2[((int)uVar5 >> 2) + 1] =\n           puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3)" (subscript_expression "puVar2[((int)uVar5 >> 2) + 1]" identifier [ (binary_expression "((int)uVar5 >> 2) + 1" (parenthesized_expression "((int)uVar5 >> 2)" ( (binary_expression "(int)uVar5 >> 2" (cast_expression "(int)uVar5" ( (type_descriptor "int" primitive_type) ) identifier) >> number_literal) )) + number_literal) ]) = (binary_expression "puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3)" (subscript_expression "puVar2[((int)uVar5 >> 2) + 1]" identifier [ (binary_expression "((int)uVar5 >> 2) + 1" (parenthesized_expression "((int)uVar5 >> 2)" ( (binary_expression "(int)uVar5 >> 2" (cast_expression "(int)uVar5" ( (type_descriptor "int" primitive_type) ) identifier) >> number_literal) )) + number_literal) ]) | (binary_expression "(uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3)" (binary_expression "(uint)*(byte *)(param_1 + uVar5)" (parenthesized_expression "(uint)" ( identifier )) * (cast_expression "(byte *)(param_1 + uVar5)" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + uVar5)" ( (binary_expression "param_1 + uVar5" identifier + identifier) )))) << (parenthesized_expression "((uVar5 & 3) << 3)" ( (binary_expression "(uVar5 & 3) << 3" (parenthesized_expression "(uVar5 & 3)" ( (binary_expression "uVar5 & 3" identifier & number_literal) )) << number_literal) ))))) ;) (expression_statement "uVar5 = uVar6;" (assignment_expression "uVar5 = uVar6" identifier = identifier) ;) }) while (parenthesized_expression "(param_2 != uVar6)" ( (binary_expression "param_2 != uVar6" identifier != identifier) )) ;) })) (expression_statement "uVar5 = *puVar2;" (assignment_expression "uVar5 = *puVar2" identifier = (pointer_expression "*puVar2" * identifier)) ;) (if_statement "if (1 < uVar5) {\n    puVar4 = puVar2 + uVar5;\n    uVar6 = *puVar4;\n    while (uVar6 == 0) {\n      uVar5 = uVar5 - 1;\n      *puVar2 = uVar5;\n      if (uVar5 == 1) {\n        return puVar2;\n      }\n      puVar1 = puVar4 + -1;\n      puVar4 = puVar4 + -1;\n      uVar6 = *puVar1;\n    }\n  }" if (parenthesized_expression "(1 < uVar5)" ( (binary_expression "1 < uVar5" number_literal < identifier) )) (compound_statement "{\n    puVar4 = puVar2 + uVar5;\n    uVar6 = *puVar4;\n    while (uVar6 == 0) {\n      uVar5 = uVar5 - 1;\n      *puVar2 = uVar5;\n      if (uVar5 == 1) {\n        return puVar2;\n      }\n      puVar1 = puVar4 + -1;\n      puVar4 = puVar4 + -1;\n      uVar6 = *puVar1;\n    }\n  }" { (expression_statement "puVar4 = puVar2 + uVar5;" (assignment_expression "puVar4 = puVar2 + uVar5" identifier = (binary_expression "puVar2 + uVar5" identifier + identifier)) ;) (expression_statement "uVar6 = *puVar4;" (assignment_expression "uVar6 = *puVar4" identifier = (pointer_expression "*puVar4" * identifier)) ;) (while_statement "while (uVar6 == 0) {\n      uVar5 = uVar5 - 1;\n      *puVar2 = uVar5;\n      if (uVar5 == 1) {\n        return puVar2;\n      }\n      puVar1 = puVar4 + -1;\n      puVar4 = puVar4 + -1;\n      uVar6 = *puVar1;\n    }" while (parenthesized_expression "(uVar6 == 0)" ( (binary_expression "uVar6 == 0" identifier == number_literal) )) (compound_statement "{\n      uVar5 = uVar5 - 1;\n      *puVar2 = uVar5;\n      if (uVar5 == 1) {\n        return puVar2;\n      }\n      puVar1 = puVar4 + -1;\n      puVar4 = puVar4 + -1;\n      uVar6 = *puVar1;\n    }" { (expression_statement "uVar5 = uVar5 - 1;" (assignment_expression "uVar5 = uVar5 - 1" identifier = (binary_expression "uVar5 - 1" identifier - number_literal)) ;) (expression_statement "*puVar2 = uVar5;" (assignment_expression "*puVar2 = uVar5" (pointer_expression "*puVar2" * identifier) = identifier) ;) (if_statement "if (uVar5 == 1) {\n        return puVar2;\n      }" if (parenthesized_expression "(uVar5 == 1)" ( (binary_expression "uVar5 == 1" identifier == number_literal) )) (compound_statement "{\n        return puVar2;\n      }" { (return_statement "return puVar2;" return identifier ;) })) (expression_statement "puVar1 = puVar4 + -1;" (assignment_expression "puVar1 = puVar4 + -1" identifier = (binary_expression "puVar4 + -1" identifier + number_literal)) ;) (expression_statement "puVar4 = puVar4 + -1;" (assignment_expression "puVar4 = puVar4 + -1" identifier = (binary_expression "puVar4 + -1" identifier + number_literal)) ;) (expression_statement "uVar6 = *puVar1;" (assignment_expression "uVar6 = *puVar1" identifier = (pointer_expression "*puVar1" * identifier)) ;) })) })) (return_statement "return puVar2;" return identifier ;) })))
(translation_unit "Bignum_conflict bignum_from_bytes_le(uchar *data,int nbytes)\n\n{\n  BignumInt *pBVar1;\n  Bignum_conflict pBVar2;\n  Bignum_conflict pBVar3;\n  BignumInt BVar4;\n  uint uVar5;\n  uint uVar6;\n  BignumInt BVar7;\n  int length;\n  \n  if (0xffffffe < (uint)nbytes) {\n    pBVar2 = (Bignum_conflict)\n             (*(code *)PTR___assert_fail_000b0ac0)\n                       (PTR_DAT_000b01d0 + -0x6da4,PTR_DAT_000b01d0 + -0x6e40,0x59a,\n                        PTR_DAT_000b01d0 + -0x6cb0);\n    return pBVar2;\n  }\n  length = nbytes + 3 >> 2;\n  pBVar2 = newbn(length);\n  if (length != 0) {\n    pBVar3 = pBVar2;\n    do {\n      pBVar3[1] = 0;\n      pBVar3 = pBVar3 + 1;\n    } while (pBVar3 != pBVar2 + length);\n  }\n  uVar5 = 0;\n  if (nbytes != 0) {\n    do {\n      uVar6 = uVar5 + 1;\n      pBVar2[((int)uVar5 >> 2) + 1] =\n           pBVar2[((int)uVar5 >> 2) + 1] | (uint)data[uVar5] << ((uVar5 & 3) << 3);\n      uVar5 = uVar6;\n    } while (nbytes != uVar6);\n  }\n  BVar4 = *pBVar2;\n  if (1 < BVar4) {\n    pBVar3 = pBVar2 + BVar4;\n    BVar7 = *pBVar3;\n    while (BVar7 == 0) {\n      BVar4 = BVar4 - 1;\n      *pBVar2 = BVar4;\n      if (BVar4 == 1) {\n        return pBVar2;\n      }\n      pBVar1 = pBVar3 + -1;\n      pBVar3 = pBVar3 + -1;\n      BVar7 = *pBVar1;\n    }\n  }\n  return pBVar2;\n}\n\n" (function_definition "Bignum_conflict bignum_from_bytes_le(uchar *data,int nbytes)\n\n{\n  BignumInt *pBVar1;\n  Bignum_conflict pBVar2;\n  Bignum_conflict pBVar3;\n  BignumInt BVar4;\n  uint uVar5;\n  uint uVar6;\n  BignumInt BVar7;\n  int length;\n  \n  if (0xffffffe < (uint)nbytes) {\n    pBVar2 = (Bignum_conflict)\n             (*(code *)PTR___assert_fail_000b0ac0)\n                       (PTR_DAT_000b01d0 + -0x6da4,PTR_DAT_000b01d0 + -0x6e40,0x59a,\n                        PTR_DAT_000b01d0 + -0x6cb0);\n    return pBVar2;\n  }\n  length = nbytes + 3 >> 2;\n  pBVar2 = newbn(length);\n  if (length != 0) {\n    pBVar3 = pBVar2;\n    do {\n      pBVar3[1] = 0;\n      pBVar3 = pBVar3 + 1;\n    } while (pBVar3 != pBVar2 + length);\n  }\n  uVar5 = 0;\n  if (nbytes != 0) {\n    do {\n      uVar6 = uVar5 + 1;\n      pBVar2[((int)uVar5 >> 2) + 1] =\n           pBVar2[((int)uVar5 >> 2) + 1] | (uint)data[uVar5] << ((uVar5 & 3) << 3);\n      uVar5 = uVar6;\n    } while (nbytes != uVar6);\n  }\n  BVar4 = *pBVar2;\n  if (1 < BVar4) {\n    pBVar3 = pBVar2 + BVar4;\n    BVar7 = *pBVar3;\n    while (BVar7 == 0) {\n      BVar4 = BVar4 - 1;\n      *pBVar2 = BVar4;\n      if (BVar4 == 1) {\n        return pBVar2;\n      }\n      pBVar1 = pBVar3 + -1;\n      pBVar3 = pBVar3 + -1;\n      BVar7 = *pBVar1;\n    }\n  }\n  return pBVar2;\n}" type_identifier (function_declarator "bignum_from_bytes_le(uchar *data,int nbytes)" identifier (parameter_list "(uchar *data,int nbytes)" ( (parameter_declaration "uchar *data" type_identifier (pointer_declarator "*data" * identifier)) , (parameter_declaration "int nbytes" primitive_type identifier) ))) (compound_statement "{\n  BignumInt *pBVar1;\n  Bignum_conflict pBVar2;\n  Bignum_conflict pBVar3;\n  BignumInt BVar4;\n  uint uVar5;\n  uint uVar6;\n  BignumInt BVar7;\n  int length;\n  \n  if (0xffffffe < (uint)nbytes) {\n    pBVar2 = (Bignum_conflict)\n             (*(code *)PTR___assert_fail_000b0ac0)\n                       (PTR_DAT_000b01d0 + -0x6da4,PTR_DAT_000b01d0 + -0x6e40,0x59a,\n                        PTR_DAT_000b01d0 + -0x6cb0);\n    return pBVar2;\n  }\n  length = nbytes + 3 >> 2;\n  pBVar2 = newbn(length);\n  if (length != 0) {\n    pBVar3 = pBVar2;\n    do {\n      pBVar3[1] = 0;\n      pBVar3 = pBVar3 + 1;\n    } while (pBVar3 != pBVar2 + length);\n  }\n  uVar5 = 0;\n  if (nbytes != 0) {\n    do {\n      uVar6 = uVar5 + 1;\n      pBVar2[((int)uVar5 >> 2) + 1] =\n           pBVar2[((int)uVar5 >> 2) + 1] | (uint)data[uVar5] << ((uVar5 & 3) << 3);\n      uVar5 = uVar6;\n    } while (nbytes != uVar6);\n  }\n  BVar4 = *pBVar2;\n  if (1 < BVar4) {\n    pBVar3 = pBVar2 + BVar4;\n    BVar7 = *pBVar3;\n    while (BVar7 == 0) {\n      BVar4 = BVar4 - 1;\n      *pBVar2 = BVar4;\n      if (BVar4 == 1) {\n        return pBVar2;\n      }\n      pBVar1 = pBVar3 + -1;\n      pBVar3 = pBVar3 + -1;\n      BVar7 = *pBVar1;\n    }\n  }\n  return pBVar2;\n}" { (declaration "BignumInt *pBVar1;" type_identifier (pointer_declarator "*pBVar1" * identifier) ;) (declaration "Bignum_conflict pBVar2;" type_identifier identifier ;) (declaration "Bignum_conflict pBVar3;" type_identifier identifier ;) (declaration "BignumInt BVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "BignumInt BVar7;" type_identifier identifier ;) (declaration "int length;" primitive_type identifier ;) (if_statement "if (0xffffffe < (uint)nbytes) {\n    pBVar2 = (Bignum_conflict)\n             (*(code *)PTR___assert_fail_000b0ac0)\n                       (PTR_DAT_000b01d0 + -0x6da4,PTR_DAT_000b01d0 + -0x6e40,0x59a,\n                        PTR_DAT_000b01d0 + -0x6cb0);\n    return pBVar2;\n  }" if (parenthesized_expression "(0xffffffe < (uint)nbytes)" ( (binary_expression "0xffffffe < (uint)nbytes" number_literal < (cast_expression "(uint)nbytes" ( (type_descriptor "uint" type_identifier) ) identifier)) )) (compound_statement "{\n    pBVar2 = (Bignum_conflict)\n             (*(code *)PTR___assert_fail_000b0ac0)\n                       (PTR_DAT_000b01d0 + -0x6da4,PTR_DAT_000b01d0 + -0x6e40,0x59a,\n                        PTR_DAT_000b01d0 + -0x6cb0);\n    return pBVar2;\n  }" { (expression_statement "pBVar2 = (Bignum_conflict)\n             (*(code *)PTR___assert_fail_000b0ac0)\n                       (PTR_DAT_000b01d0 + -0x6da4,PTR_DAT_000b01d0 + -0x6e40,0x59a,\n                        PTR_DAT_000b01d0 + -0x6cb0);" (assignment_expression "pBVar2 = (Bignum_conflict)\n             (*(code *)PTR___assert_fail_000b0ac0)\n                       (PTR_DAT_000b01d0 + -0x6da4,PTR_DAT_000b01d0 + -0x6e40,0x59a,\n                        PTR_DAT_000b01d0 + -0x6cb0)" identifier = (call_expression "(Bignum_conflict)\n             (*(code *)PTR___assert_fail_000b0ac0)\n                       (PTR_DAT_000b01d0 + -0x6da4,PTR_DAT_000b01d0 + -0x6e40,0x59a,\n                        PTR_DAT_000b01d0 + -0x6cb0)" (call_expression "(Bignum_conflict)\n             (*(code *)PTR___assert_fail_000b0ac0)" (parenthesized_expression "(Bignum_conflict)" ( identifier )) (argument_list "(*(code *)PTR___assert_fail_000b0ac0)" ( (pointer_expression "*(code *)PTR___assert_fail_000b0ac0" * (cast_expression "(code *)PTR___assert_fail_000b0ac0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ))) (argument_list "(PTR_DAT_000b01d0 + -0x6da4,PTR_DAT_000b01d0 + -0x6e40,0x59a,\n                        PTR_DAT_000b01d0 + -0x6cb0)" ( (binary_expression "PTR_DAT_000b01d0 + -0x6da4" identifier + number_literal) , (binary_expression "PTR_DAT_000b01d0 + -0x6e40" identifier + number_literal) , number_literal , (binary_expression "PTR_DAT_000b01d0 + -0x6cb0" identifier + number_literal) )))) ;) (return_statement "return pBVar2;" return identifier ;) })) (expression_statement "length = nbytes + 3 >> 2;" (assignment_expression "length = nbytes + 3 >> 2" identifier = (binary_expression "nbytes + 3 >> 2" (binary_expression "nbytes + 3" identifier + number_literal) >> number_literal)) ;) (expression_statement "pBVar2 = newbn(length);" (assignment_expression "pBVar2 = newbn(length)" identifier = (call_expression "newbn(length)" identifier (argument_list "(length)" ( identifier )))) ;) (if_statement "if (length != 0) {\n    pBVar3 = pBVar2;\n    do {\n      pBVar3[1] = 0;\n      pBVar3 = pBVar3 + 1;\n    } while (pBVar3 != pBVar2 + length);\n  }" if (parenthesized_expression "(length != 0)" ( (binary_expression "length != 0" identifier != number_literal) )) (compound_statement "{\n    pBVar3 = pBVar2;\n    do {\n      pBVar3[1] = 0;\n      pBVar3 = pBVar3 + 1;\n    } while (pBVar3 != pBVar2 + length);\n  }" { (expression_statement "pBVar3 = pBVar2;" (assignment_expression "pBVar3 = pBVar2" identifier = identifier) ;) (do_statement "do {\n      pBVar3[1] = 0;\n      pBVar3 = pBVar3 + 1;\n    } while (pBVar3 != pBVar2 + length);" do (compound_statement "{\n      pBVar3[1] = 0;\n      pBVar3 = pBVar3 + 1;\n    }" { (expression_statement "pBVar3[1] = 0;" (assignment_expression "pBVar3[1] = 0" (subscript_expression "pBVar3[1]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "pBVar3 = pBVar3 + 1;" (assignment_expression "pBVar3 = pBVar3 + 1" identifier = (binary_expression "pBVar3 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(pBVar3 != pBVar2 + length)" ( (binary_expression "pBVar3 != pBVar2 + length" identifier != (binary_expression "pBVar2 + length" identifier + identifier)) )) ;) })) (expression_statement "uVar5 = 0;" (assignment_expression "uVar5 = 0" identifier = number_literal) ;) (if_statement "if (nbytes != 0) {\n    do {\n      uVar6 = uVar5 + 1;\n      pBVar2[((int)uVar5 >> 2) + 1] =\n           pBVar2[((int)uVar5 >> 2) + 1] | (uint)data[uVar5] << ((uVar5 & 3) << 3);\n      uVar5 = uVar6;\n    } while (nbytes != uVar6);\n  }" if (parenthesized_expression "(nbytes != 0)" ( (binary_expression "nbytes != 0" identifier != number_literal) )) (compound_statement "{\n    do {\n      uVar6 = uVar5 + 1;\n      pBVar2[((int)uVar5 >> 2) + 1] =\n           pBVar2[((int)uVar5 >> 2) + 1] | (uint)data[uVar5] << ((uVar5 & 3) << 3);\n      uVar5 = uVar6;\n    } while (nbytes != uVar6);\n  }" { (do_statement "do {\n      uVar6 = uVar5 + 1;\n      pBVar2[((int)uVar5 >> 2) + 1] =\n           pBVar2[((int)uVar5 >> 2) + 1] | (uint)data[uVar5] << ((uVar5 & 3) << 3);\n      uVar5 = uVar6;\n    } while (nbytes != uVar6);" do (compound_statement "{\n      uVar6 = uVar5 + 1;\n      pBVar2[((int)uVar5 >> 2) + 1] =\n           pBVar2[((int)uVar5 >> 2) + 1] | (uint)data[uVar5] << ((uVar5 & 3) << 3);\n      uVar5 = uVar6;\n    }" { (expression_statement "uVar6 = uVar5 + 1;" (assignment_expression "uVar6 = uVar5 + 1" identifier = (binary_expression "uVar5 + 1" identifier + number_literal)) ;) (expression_statement "pBVar2[((int)uVar5 >> 2) + 1] =\n           pBVar2[((int)uVar5 >> 2) + 1] | (uint)data[uVar5] << ((uVar5 & 3) << 3);" (assignment_expression "pBVar2[((int)uVar5 >> 2) + 1] =\n           pBVar2[((int)uVar5 >> 2) + 1] | (uint)data[uVar5] << ((uVar5 & 3) << 3)" (subscript_expression "pBVar2[((int)uVar5 >> 2) + 1]" identifier [ (binary_expression "((int)uVar5 >> 2) + 1" (parenthesized_expression "((int)uVar5 >> 2)" ( (binary_expression "(int)uVar5 >> 2" (cast_expression "(int)uVar5" ( (type_descriptor "int" primitive_type) ) identifier) >> number_literal) )) + number_literal) ]) = (binary_expression "pBVar2[((int)uVar5 >> 2) + 1] | (uint)data[uVar5] << ((uVar5 & 3) << 3)" (subscript_expression "pBVar2[((int)uVar5 >> 2) + 1]" identifier [ (binary_expression "((int)uVar5 >> 2) + 1" (parenthesized_expression "((int)uVar5 >> 2)" ( (binary_expression "(int)uVar5 >> 2" (cast_expression "(int)uVar5" ( (type_descriptor "int" primitive_type) ) identifier) >> number_literal) )) + number_literal) ]) | (binary_expression "(uint)data[uVar5] << ((uVar5 & 3) << 3)" (cast_expression "(uint)data[uVar5]" ( (type_descriptor "uint" type_identifier) ) (subscript_expression "data[uVar5]" identifier [ identifier ])) << (parenthesized_expression "((uVar5 & 3) << 3)" ( (binary_expression "(uVar5 & 3) << 3" (parenthesized_expression "(uVar5 & 3)" ( (binary_expression "uVar5 & 3" identifier & number_literal) )) << number_literal) ))))) ;) (expression_statement "uVar5 = uVar6;" (assignment_expression "uVar5 = uVar6" identifier = identifier) ;) }) while (parenthesized_expression "(nbytes != uVar6)" ( (binary_expression "nbytes != uVar6" identifier != identifier) )) ;) })) (expression_statement "BVar4 = *pBVar2;" (assignment_expression "BVar4 = *pBVar2" identifier = (pointer_expression "*pBVar2" * identifier)) ;) (if_statement "if (1 < BVar4) {\n    pBVar3 = pBVar2 + BVar4;\n    BVar7 = *pBVar3;\n    while (BVar7 == 0) {\n      BVar4 = BVar4 - 1;\n      *pBVar2 = BVar4;\n      if (BVar4 == 1) {\n        return pBVar2;\n      }\n      pBVar1 = pBVar3 + -1;\n      pBVar3 = pBVar3 + -1;\n      BVar7 = *pBVar1;\n    }\n  }" if (parenthesized_expression "(1 < BVar4)" ( (binary_expression "1 < BVar4" number_literal < identifier) )) (compound_statement "{\n    pBVar3 = pBVar2 + BVar4;\n    BVar7 = *pBVar3;\n    while (BVar7 == 0) {\n      BVar4 = BVar4 - 1;\n      *pBVar2 = BVar4;\n      if (BVar4 == 1) {\n        return pBVar2;\n      }\n      pBVar1 = pBVar3 + -1;\n      pBVar3 = pBVar3 + -1;\n      BVar7 = *pBVar1;\n    }\n  }" { (expression_statement "pBVar3 = pBVar2 + BVar4;" (assignment_expression "pBVar3 = pBVar2 + BVar4" identifier = (binary_expression "pBVar2 + BVar4" identifier + identifier)) ;) (expression_statement "BVar7 = *pBVar3;" (assignment_expression "BVar7 = *pBVar3" identifier = (pointer_expression "*pBVar3" * identifier)) ;) (while_statement "while (BVar7 == 0) {\n      BVar4 = BVar4 - 1;\n      *pBVar2 = BVar4;\n      if (BVar4 == 1) {\n        return pBVar2;\n      }\n      pBVar1 = pBVar3 + -1;\n      pBVar3 = pBVar3 + -1;\n      BVar7 = *pBVar1;\n    }" while (parenthesized_expression "(BVar7 == 0)" ( (binary_expression "BVar7 == 0" identifier == number_literal) )) (compound_statement "{\n      BVar4 = BVar4 - 1;\n      *pBVar2 = BVar4;\n      if (BVar4 == 1) {\n        return pBVar2;\n      }\n      pBVar1 = pBVar3 + -1;\n      pBVar3 = pBVar3 + -1;\n      BVar7 = *pBVar1;\n    }" { (expression_statement "BVar4 = BVar4 - 1;" (assignment_expression "BVar4 = BVar4 - 1" identifier = (binary_expression "BVar4 - 1" identifier - number_literal)) ;) (expression_statement "*pBVar2 = BVar4;" (assignment_expression "*pBVar2 = BVar4" (pointer_expression "*pBVar2" * identifier) = identifier) ;) (if_statement "if (BVar4 == 1) {\n        return pBVar2;\n      }" if (parenthesized_expression "(BVar4 == 1)" ( (binary_expression "BVar4 == 1" identifier == number_literal) )) (compound_statement "{\n        return pBVar2;\n      }" { (return_statement "return pBVar2;" return identifier ;) })) (expression_statement "pBVar1 = pBVar3 + -1;" (assignment_expression "pBVar1 = pBVar3 + -1" identifier = (binary_expression "pBVar3 + -1" identifier + number_literal)) ;) (expression_statement "pBVar3 = pBVar3 + -1;" (assignment_expression "pBVar3 = pBVar3 + -1" identifier = (binary_expression "pBVar3 + -1" identifier + number_literal)) ;) (expression_statement "BVar7 = *pBVar1;" (assignment_expression "BVar7 = *pBVar1" identifier = (pointer_expression "*pBVar1" * identifier)) ;) })) })) (return_statement "return pBVar2;" return identifier ;) })))
(translation_unit "uint * bignum_from_bytes_le(int param_1,uint param_2)\n\n{\n  uint *puVar1;\n  uint *puVar2;\n  undefined4 uVar3;\n  uint *puVar4;\n  uint uVar5;\n  uint uVar6;\n  byte *pbVar7;\n  undefined *puVar8;\n  undefined4 *puVar9;\n  int iVar10;\n  \n  if (0xffffffe < param_2) {\n    puVar9 = (undefined4 *)&DAT_0000059a;\n    puVar8 = PTR_DAT_000b01d0 + -0x6e40;\n    pbVar7 = PTR_DAT_000b01d0 + -0x6da4;\n    (*(code *)PTR___assert_fail_000b0ac0)();\n    if ((int)puVar8 < 2) {\n      return (uint *)0xffffffff;\n    }\n    iVar10 = (int)((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7) >> 3;\n    puVar2 = (uint *)0xffffffff;\n    if (iVar10 + 1 < (int)puVar8) {\n      if (puVar9 == (undefined4 *)0x0) {\n        return (uint *)(iVar10 + 2);\n      }\n      uVar3 = bignum_from_bytes(pbVar7 + 2,iVar10);\n      *puVar9 = uVar3;\n      puVar2 = (uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7));\n    }\n    return puVar2;\n  }\n  iVar10 = (int)(param_2 + 3) >> 2;\n  puVar2 = (uint *)FUN_00056014(iVar10);\n  if (iVar10 != 0) {\n    puVar4 = puVar2;\n    do {\n      puVar4[1] = 0;\n      puVar4 = puVar4 + 1;\n    } while (puVar4 != puVar2 + iVar10);\n  }\n  uVar5 = 0;\n  if (param_2 != 0) {\n    do {\n      uVar6 = uVar5 + 1;\n      puVar2[((int)uVar5 >> 2) + 1] =\n           puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3);\n      uVar5 = uVar6;\n    } while (param_2 != uVar6);\n  }\n  uVar5 = *puVar2;\n  if (1 < uVar5) {\n    puVar4 = puVar2 + uVar5;\n    uVar6 = *puVar4;\n    while (uVar6 == 0) {\n      uVar5 = uVar5 - 1;\n      *puVar2 = uVar5;\n      if (uVar5 == 1) {\n        return puVar2;\n      }\n      puVar1 = puVar4 + -1;\n      puVar4 = puVar4 + -1;\n      uVar6 = *puVar1;\n    }\n  }\n  return puVar2;\n}\n\n" (function_definition "uint * bignum_from_bytes_le(int param_1,uint param_2)\n\n{\n  uint *puVar1;\n  uint *puVar2;\n  undefined4 uVar3;\n  uint *puVar4;\n  uint uVar5;\n  uint uVar6;\n  byte *pbVar7;\n  undefined *puVar8;\n  undefined4 *puVar9;\n  int iVar10;\n  \n  if (0xffffffe < param_2) {\n    puVar9 = (undefined4 *)&DAT_0000059a;\n    puVar8 = PTR_DAT_000b01d0 + -0x6e40;\n    pbVar7 = PTR_DAT_000b01d0 + -0x6da4;\n    (*(code *)PTR___assert_fail_000b0ac0)();\n    if ((int)puVar8 < 2) {\n      return (uint *)0xffffffff;\n    }\n    iVar10 = (int)((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7) >> 3;\n    puVar2 = (uint *)0xffffffff;\n    if (iVar10 + 1 < (int)puVar8) {\n      if (puVar9 == (undefined4 *)0x0) {\n        return (uint *)(iVar10 + 2);\n      }\n      uVar3 = bignum_from_bytes(pbVar7 + 2,iVar10);\n      *puVar9 = uVar3;\n      puVar2 = (uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7));\n    }\n    return puVar2;\n  }\n  iVar10 = (int)(param_2 + 3) >> 2;\n  puVar2 = (uint *)FUN_00056014(iVar10);\n  if (iVar10 != 0) {\n    puVar4 = puVar2;\n    do {\n      puVar4[1] = 0;\n      puVar4 = puVar4 + 1;\n    } while (puVar4 != puVar2 + iVar10);\n  }\n  uVar5 = 0;\n  if (param_2 != 0) {\n    do {\n      uVar6 = uVar5 + 1;\n      puVar2[((int)uVar5 >> 2) + 1] =\n           puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3);\n      uVar5 = uVar6;\n    } while (param_2 != uVar6);\n  }\n  uVar5 = *puVar2;\n  if (1 < uVar5) {\n    puVar4 = puVar2 + uVar5;\n    uVar6 = *puVar4;\n    while (uVar6 == 0) {\n      uVar5 = uVar5 - 1;\n      *puVar2 = uVar5;\n      if (uVar5 == 1) {\n        return puVar2;\n      }\n      puVar1 = puVar4 + -1;\n      puVar4 = puVar4 + -1;\n      uVar6 = *puVar1;\n    }\n  }\n  return puVar2;\n}" type_identifier (pointer_declarator "* bignum_from_bytes_le(int param_1,uint param_2)" * (function_declarator "bignum_from_bytes_le(int param_1,uint param_2)" identifier (parameter_list "(int param_1,uint param_2)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "uint param_2" type_identifier identifier) )))) (compound_statement "{\n  uint *puVar1;\n  uint *puVar2;\n  undefined4 uVar3;\n  uint *puVar4;\n  uint uVar5;\n  uint uVar6;\n  byte *pbVar7;\n  undefined *puVar8;\n  undefined4 *puVar9;\n  int iVar10;\n  \n  if (0xffffffe < param_2) {\n    puVar9 = (undefined4 *)&DAT_0000059a;\n    puVar8 = PTR_DAT_000b01d0 + -0x6e40;\n    pbVar7 = PTR_DAT_000b01d0 + -0x6da4;\n    (*(code *)PTR___assert_fail_000b0ac0)();\n    if ((int)puVar8 < 2) {\n      return (uint *)0xffffffff;\n    }\n    iVar10 = (int)((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7) >> 3;\n    puVar2 = (uint *)0xffffffff;\n    if (iVar10 + 1 < (int)puVar8) {\n      if (puVar9 == (undefined4 *)0x0) {\n        return (uint *)(iVar10 + 2);\n      }\n      uVar3 = bignum_from_bytes(pbVar7 + 2,iVar10);\n      *puVar9 = uVar3;\n      puVar2 = (uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7));\n    }\n    return puVar2;\n  }\n  iVar10 = (int)(param_2 + 3) >> 2;\n  puVar2 = (uint *)FUN_00056014(iVar10);\n  if (iVar10 != 0) {\n    puVar4 = puVar2;\n    do {\n      puVar4[1] = 0;\n      puVar4 = puVar4 + 1;\n    } while (puVar4 != puVar2 + iVar10);\n  }\n  uVar5 = 0;\n  if (param_2 != 0) {\n    do {\n      uVar6 = uVar5 + 1;\n      puVar2[((int)uVar5 >> 2) + 1] =\n           puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3);\n      uVar5 = uVar6;\n    } while (param_2 != uVar6);\n  }\n  uVar5 = *puVar2;\n  if (1 < uVar5) {\n    puVar4 = puVar2 + uVar5;\n    uVar6 = *puVar4;\n    while (uVar6 == 0) {\n      uVar5 = uVar5 - 1;\n      *puVar2 = uVar5;\n      if (uVar5 == 1) {\n        return puVar2;\n      }\n      puVar1 = puVar4 + -1;\n      puVar4 = puVar4 + -1;\n      uVar6 = *puVar1;\n    }\n  }\n  return puVar2;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "uint *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "undefined4 uVar3;" type_identifier identifier ;) (declaration "uint *puVar4;" type_identifier (pointer_declarator "*puVar4" * identifier) ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "byte *pbVar7;" type_identifier (pointer_declarator "*pbVar7" * identifier) ;) (declaration "undefined *puVar8;" type_identifier (pointer_declarator "*puVar8" * identifier) ;) (declaration "undefined4 *puVar9;" type_identifier (pointer_declarator "*puVar9" * identifier) ;) (declaration "int iVar10;" primitive_type identifier ;) (if_statement "if (0xffffffe < param_2) {\n    puVar9 = (undefined4 *)&DAT_0000059a;\n    puVar8 = PTR_DAT_000b01d0 + -0x6e40;\n    pbVar7 = PTR_DAT_000b01d0 + -0x6da4;\n    (*(code *)PTR___assert_fail_000b0ac0)();\n    if ((int)puVar8 < 2) {\n      return (uint *)0xffffffff;\n    }\n    iVar10 = (int)((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7) >> 3;\n    puVar2 = (uint *)0xffffffff;\n    if (iVar10 + 1 < (int)puVar8) {\n      if (puVar9 == (undefined4 *)0x0) {\n        return (uint *)(iVar10 + 2);\n      }\n      uVar3 = bignum_from_bytes(pbVar7 + 2,iVar10);\n      *puVar9 = uVar3;\n      puVar2 = (uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7));\n    }\n    return puVar2;\n  }" if (parenthesized_expression "(0xffffffe < param_2)" ( (binary_expression "0xffffffe < param_2" number_literal < identifier) )) (compound_statement "{\n    puVar9 = (undefined4 *)&DAT_0000059a;\n    puVar8 = PTR_DAT_000b01d0 + -0x6e40;\n    pbVar7 = PTR_DAT_000b01d0 + -0x6da4;\n    (*(code *)PTR___assert_fail_000b0ac0)();\n    if ((int)puVar8 < 2) {\n      return (uint *)0xffffffff;\n    }\n    iVar10 = (int)((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7) >> 3;\n    puVar2 = (uint *)0xffffffff;\n    if (iVar10 + 1 < (int)puVar8) {\n      if (puVar9 == (undefined4 *)0x0) {\n        return (uint *)(iVar10 + 2);\n      }\n      uVar3 = bignum_from_bytes(pbVar7 + 2,iVar10);\n      *puVar9 = uVar3;\n      puVar2 = (uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7));\n    }\n    return puVar2;\n  }" { (expression_statement "puVar9 = (undefined4 *)&DAT_0000059a;" (assignment_expression "puVar9 = (undefined4 *)&DAT_0000059a" identifier = (cast_expression "(undefined4 *)&DAT_0000059a" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (pointer_expression "&DAT_0000059a" & identifier))) ;) (expression_statement "puVar8 = PTR_DAT_000b01d0 + -0x6e40;" (assignment_expression "puVar8 = PTR_DAT_000b01d0 + -0x6e40" identifier = (binary_expression "PTR_DAT_000b01d0 + -0x6e40" identifier + number_literal)) ;) (expression_statement "pbVar7 = PTR_DAT_000b01d0 + -0x6da4;" (assignment_expression "pbVar7 = PTR_DAT_000b01d0 + -0x6da4" identifier = (binary_expression "PTR_DAT_000b01d0 + -0x6da4" identifier + number_literal)) ;) (expression_statement "(*(code *)PTR___assert_fail_000b0ac0)();" (call_expression "(*(code *)PTR___assert_fail_000b0ac0)()" (parenthesized_expression "(*(code *)PTR___assert_fail_000b0ac0)" ( (pointer_expression "*(code *)PTR___assert_fail_000b0ac0" * (cast_expression "(code *)PTR___assert_fail_000b0ac0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( ))) ;) (if_statement "if ((int)puVar8 < 2) {\n      return (uint *)0xffffffff;\n    }" if (parenthesized_expression "((int)puVar8 < 2)" ( (binary_expression "(int)puVar8 < 2" (cast_expression "(int)puVar8" ( (type_descriptor "int" primitive_type) ) identifier) < number_literal) )) (compound_statement "{\n      return (uint *)0xffffffff;\n    }" { (return_statement "return (uint *)0xffffffff;" return (cast_expression "(uint *)0xffffffff" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal) ;) })) (expression_statement "iVar10 = (int)((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7) >> 3;" (assignment_expression "iVar10 = (int)((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7) >> 3" identifier = (binary_expression "(int)((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7) >> 3" (cast_expression "(int)((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7)" ( (binary_expression "(uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7" (binary_expression "(uint)*pbVar7 * 0x100 + (uint)pbVar7[1]" (binary_expression "(uint)*pbVar7 * 0x100" (binary_expression "(uint)*pbVar7" (parenthesized_expression "(uint)" ( identifier )) * identifier) * number_literal) + (cast_expression "(uint)pbVar7[1]" ( (type_descriptor "uint" type_identifier) ) (subscript_expression "pbVar7[1]" identifier [ number_literal ]))) + number_literal) ))) >> number_literal)) ;) (expression_statement "puVar2 = (uint *)0xffffffff;" (assignment_expression "puVar2 = (uint *)0xffffffff" identifier = (cast_expression "(uint *)0xffffffff" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) ;) (if_statement "if (iVar10 + 1 < (int)puVar8) {\n      if (puVar9 == (undefined4 *)0x0) {\n        return (uint *)(iVar10 + 2);\n      }\n      uVar3 = bignum_from_bytes(pbVar7 + 2,iVar10);\n      *puVar9 = uVar3;\n      puVar2 = (uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7));\n    }" if (parenthesized_expression "(iVar10 + 1 < (int)puVar8)" ( (binary_expression "iVar10 + 1 < (int)puVar8" (binary_expression "iVar10 + 1" identifier + number_literal) < (cast_expression "(int)puVar8" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n      if (puVar9 == (undefined4 *)0x0) {\n        return (uint *)(iVar10 + 2);\n      }\n      uVar3 = bignum_from_bytes(pbVar7 + 2,iVar10);\n      *puVar9 = uVar3;\n      puVar2 = (uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7));\n    }" { (if_statement "if (puVar9 == (undefined4 *)0x0) {\n        return (uint *)(iVar10 + 2);\n      }" if (parenthesized_expression "(puVar9 == (undefined4 *)0x0)" ( (binary_expression "puVar9 == (undefined4 *)0x0" identifier == (cast_expression "(undefined4 *)0x0" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n        return (uint *)(iVar10 + 2);\n      }" { (return_statement "return (uint *)(iVar10 + 2);" return (cast_expression "(uint *)(iVar10 + 2)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar10 + 2)" ( (binary_expression "iVar10 + 2" identifier + number_literal) ))) ;) })) (expression_statement "uVar3 = bignum_from_bytes(pbVar7 + 2,iVar10);" (assignment_expression "uVar3 = bignum_from_bytes(pbVar7 + 2,iVar10)" identifier = (call_expression "bignum_from_bytes(pbVar7 + 2,iVar10)" identifier (argument_list "(pbVar7 + 2,iVar10)" ( (binary_expression "pbVar7 + 2" identifier + number_literal) , identifier )))) ;) (expression_statement "*puVar9 = uVar3;" (assignment_expression "*puVar9 = uVar3" (pointer_expression "*puVar9" * identifier) = identifier) ;) (expression_statement "puVar2 = (uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7));" (assignment_expression "puVar2 = (uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7))" identifier = (cast_expression "(uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7))" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(pbVar7 + 2 + (iVar10 - (int)pbVar7))" ( (binary_expression "pbVar7 + 2 + (iVar10 - (int)pbVar7)" (binary_expression "pbVar7 + 2" identifier + number_literal) + (parenthesized_expression "(iVar10 - (int)pbVar7)" ( (binary_expression "iVar10 - (int)pbVar7" identifier - (cast_expression "(int)pbVar7" ( (type_descriptor "int" primitive_type) ) identifier)) ))) )))) ;) })) (return_statement "return puVar2;" return identifier ;) })) (expression_statement "iVar10 = (int)(param_2 + 3) >> 2;" (assignment_expression "iVar10 = (int)(param_2 + 3) >> 2" identifier = (binary_expression "(int)(param_2 + 3) >> 2" (cast_expression "(int)(param_2 + 3)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "(param_2 + 3)" ( (binary_expression "param_2 + 3" identifier + number_literal) ))) >> number_literal)) ;) (expression_statement "puVar2 = (uint *)FUN_00056014(iVar10);" (assignment_expression "puVar2 = (uint *)FUN_00056014(iVar10)" identifier = (cast_expression "(uint *)FUN_00056014(iVar10)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_00056014(iVar10)" identifier (argument_list "(iVar10)" ( identifier ))))) ;) (if_statement "if (iVar10 != 0) {\n    puVar4 = puVar2;\n    do {\n      puVar4[1] = 0;\n      puVar4 = puVar4 + 1;\n    } while (puVar4 != puVar2 + iVar10);\n  }" if (parenthesized_expression "(iVar10 != 0)" ( (binary_expression "iVar10 != 0" identifier != number_literal) )) (compound_statement "{\n    puVar4 = puVar2;\n    do {\n      puVar4[1] = 0;\n      puVar4 = puVar4 + 1;\n    } while (puVar4 != puVar2 + iVar10);\n  }" { (expression_statement "puVar4 = puVar2;" (assignment_expression "puVar4 = puVar2" identifier = identifier) ;) (do_statement "do {\n      puVar4[1] = 0;\n      puVar4 = puVar4 + 1;\n    } while (puVar4 != puVar2 + iVar10);" do (compound_statement "{\n      puVar4[1] = 0;\n      puVar4 = puVar4 + 1;\n    }" { (expression_statement "puVar4[1] = 0;" (assignment_expression "puVar4[1] = 0" (subscript_expression "puVar4[1]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "puVar4 = puVar4 + 1;" (assignment_expression "puVar4 = puVar4 + 1" identifier = (binary_expression "puVar4 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(puVar4 != puVar2 + iVar10)" ( (binary_expression "puVar4 != puVar2 + iVar10" identifier != (binary_expression "puVar2 + iVar10" identifier + identifier)) )) ;) })) (expression_statement "uVar5 = 0;" (assignment_expression "uVar5 = 0" identifier = number_literal) ;) (if_statement "if (param_2 != 0) {\n    do {\n      uVar6 = uVar5 + 1;\n      puVar2[((int)uVar5 >> 2) + 1] =\n           puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3);\n      uVar5 = uVar6;\n    } while (param_2 != uVar6);\n  }" if (parenthesized_expression "(param_2 != 0)" ( (binary_expression "param_2 != 0" identifier != number_literal) )) (compound_statement "{\n    do {\n      uVar6 = uVar5 + 1;\n      puVar2[((int)uVar5 >> 2) + 1] =\n           puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3);\n      uVar5 = uVar6;\n    } while (param_2 != uVar6);\n  }" { (do_statement "do {\n      uVar6 = uVar5 + 1;\n      puVar2[((int)uVar5 >> 2) + 1] =\n           puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3);\n      uVar5 = uVar6;\n    } while (param_2 != uVar6);" do (compound_statement "{\n      uVar6 = uVar5 + 1;\n      puVar2[((int)uVar5 >> 2) + 1] =\n           puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3);\n      uVar5 = uVar6;\n    }" { (expression_statement "uVar6 = uVar5 + 1;" (assignment_expression "uVar6 = uVar5 + 1" identifier = (binary_expression "uVar5 + 1" identifier + number_literal)) ;) (expression_statement "puVar2[((int)uVar5 >> 2) + 1] =\n           puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3);" (assignment_expression "puVar2[((int)uVar5 >> 2) + 1] =\n           puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3)" (subscript_expression "puVar2[((int)uVar5 >> 2) + 1]" identifier [ (binary_expression "((int)uVar5 >> 2) + 1" (parenthesized_expression "((int)uVar5 >> 2)" ( (binary_expression "(int)uVar5 >> 2" (cast_expression "(int)uVar5" ( (type_descriptor "int" primitive_type) ) identifier) >> number_literal) )) + number_literal) ]) = (binary_expression "puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3)" (subscript_expression "puVar2[((int)uVar5 >> 2) + 1]" identifier [ (binary_expression "((int)uVar5 >> 2) + 1" (parenthesized_expression "((int)uVar5 >> 2)" ( (binary_expression "(int)uVar5 >> 2" (cast_expression "(int)uVar5" ( (type_descriptor "int" primitive_type) ) identifier) >> number_literal) )) + number_literal) ]) | (binary_expression "(uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3)" (binary_expression "(uint)*(byte *)(param_1 + uVar5)" (parenthesized_expression "(uint)" ( identifier )) * (cast_expression "(byte *)(param_1 + uVar5)" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + uVar5)" ( (binary_expression "param_1 + uVar5" identifier + identifier) )))) << (parenthesized_expression "((uVar5 & 3) << 3)" ( (binary_expression "(uVar5 & 3) << 3" (parenthesized_expression "(uVar5 & 3)" ( (binary_expression "uVar5 & 3" identifier & number_literal) )) << number_literal) ))))) ;) (expression_statement "uVar5 = uVar6;" (assignment_expression "uVar5 = uVar6" identifier = identifier) ;) }) while (parenthesized_expression "(param_2 != uVar6)" ( (binary_expression "param_2 != uVar6" identifier != identifier) )) ;) })) (expression_statement "uVar5 = *puVar2;" (assignment_expression "uVar5 = *puVar2" identifier = (pointer_expression "*puVar2" * identifier)) ;) (if_statement "if (1 < uVar5) {\n    puVar4 = puVar2 + uVar5;\n    uVar6 = *puVar4;\n    while (uVar6 == 0) {\n      uVar5 = uVar5 - 1;\n      *puVar2 = uVar5;\n      if (uVar5 == 1) {\n        return puVar2;\n      }\n      puVar1 = puVar4 + -1;\n      puVar4 = puVar4 + -1;\n      uVar6 = *puVar1;\n    }\n  }" if (parenthesized_expression "(1 < uVar5)" ( (binary_expression "1 < uVar5" number_literal < identifier) )) (compound_statement "{\n    puVar4 = puVar2 + uVar5;\n    uVar6 = *puVar4;\n    while (uVar6 == 0) {\n      uVar5 = uVar5 - 1;\n      *puVar2 = uVar5;\n      if (uVar5 == 1) {\n        return puVar2;\n      }\n      puVar1 = puVar4 + -1;\n      puVar4 = puVar4 + -1;\n      uVar6 = *puVar1;\n    }\n  }" { (expression_statement "puVar4 = puVar2 + uVar5;" (assignment_expression "puVar4 = puVar2 + uVar5" identifier = (binary_expression "puVar2 + uVar5" identifier + identifier)) ;) (expression_statement "uVar6 = *puVar4;" (assignment_expression "uVar6 = *puVar4" identifier = (pointer_expression "*puVar4" * identifier)) ;) (while_statement "while (uVar6 == 0) {\n      uVar5 = uVar5 - 1;\n      *puVar2 = uVar5;\n      if (uVar5 == 1) {\n        return puVar2;\n      }\n      puVar1 = puVar4 + -1;\n      puVar4 = puVar4 + -1;\n      uVar6 = *puVar1;\n    }" while (parenthesized_expression "(uVar6 == 0)" ( (binary_expression "uVar6 == 0" identifier == number_literal) )) (compound_statement "{\n      uVar5 = uVar5 - 1;\n      *puVar2 = uVar5;\n      if (uVar5 == 1) {\n        return puVar2;\n      }\n      puVar1 = puVar4 + -1;\n      puVar4 = puVar4 + -1;\n      uVar6 = *puVar1;\n    }" { (expression_statement "uVar5 = uVar5 - 1;" (assignment_expression "uVar5 = uVar5 - 1" identifier = (binary_expression "uVar5 - 1" identifier - number_literal)) ;) (expression_statement "*puVar2 = uVar5;" (assignment_expression "*puVar2 = uVar5" (pointer_expression "*puVar2" * identifier) = identifier) ;) (if_statement "if (uVar5 == 1) {\n        return puVar2;\n      }" if (parenthesized_expression "(uVar5 == 1)" ( (binary_expression "uVar5 == 1" identifier == number_literal) )) (compound_statement "{\n        return puVar2;\n      }" { (return_statement "return puVar2;" return identifier ;) })) (expression_statement "puVar1 = puVar4 + -1;" (assignment_expression "puVar1 = puVar4 + -1" identifier = (binary_expression "puVar4 + -1" identifier + number_literal)) ;) (expression_statement "puVar4 = puVar4 + -1;" (assignment_expression "puVar4 = puVar4 + -1" identifier = (binary_expression "puVar4 + -1" identifier + number_literal)) ;) (expression_statement "uVar6 = *puVar1;" (assignment_expression "uVar6 = *puVar1" identifier = (pointer_expression "*puVar1" * identifier)) ;) })) })) (return_statement "return puVar2;" return identifier ;) })))
(translation_unit (function_definition TYPE (pointer_declarator * (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) )))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (pointer_expression & IDENT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( ))) ;) (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) < LIT) )) (compound_statement { (return_statement return (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression (binary_expression (binary_expression (binary_expression (parenthesized_expression ( IDENT )) * IDENT) * LIT) + (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ]))) + LIT) ))) >> LIT)) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (binary_expression IDENT + LIT) < (cast_expression ( (type_descriptor TYPE) ) IDENT)) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) (compound_statement { (return_statement return (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))) ;) })) (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( (binary_expression IDENT + LIT) , IDENT )))) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (binary_expression IDENT + LIT) + (parenthesized_expression ( (binary_expression IDENT - (cast_expression ( (type_descriptor TYPE) ) IDENT)) ))) )))) ;) })) (return_statement return IDENT ;) })) (expression_statement (assignment_expression IDENT = (binary_expression (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))) >> LIT)) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression IDENT (argument_list ( IDENT ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT != (binary_expression IDENT + IDENT)) )) ;) })) (expression_statement (assignment_expression IDENT = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ (binary_expression (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT) )) + LIT) ]) = (binary_expression (subscript_expression IDENT [ (binary_expression (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT) )) + LIT) ]) | (binary_expression (binary_expression (parenthesized_expression ( IDENT )) * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + IDENT) )))) << (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) << LIT) ))))) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) }) while (parenthesized_expression ( (binary_expression IDENT != IDENT) )) ;) })) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (while_statement while (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (return_statement return IDENT ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) })) })) (return_statement return IDENT ;) })))
(function_definition "uint * bignum_from_bytes_le(int param_1,uint param_2)\n\n{\n  uint *puVar1;\n  uint *puVar2;\n  undefined4 uVar3;\n  uint *puVar4;\n  uint uVar5;\n  uint uVar6;\n  byte *pbVar7;\n  undefined *puVar8;\n  undefined4 *puVar9;\n  int iVar10;\n  \n  if (0xffffffe < param_2) {\n    puVar9 = (undefined4 *)&DAT_0000059a;\n    puVar8 = PTR_DAT_000b01d0 + -0x6e40;\n    pbVar7 = PTR_DAT_000b01d0 + -0x6da4;\n    (*(code *)PTR___assert_fail_000b0ac0)();\n    if ((int)puVar8 < 2) {\n      return (uint *)0xffffffff;\n    }\n    iVar10 = (int)((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7) >> 3;\n    puVar2 = (uint *)0xffffffff;\n    if (iVar10 + 1 < (int)puVar8) {\n      if (puVar9 == (undefined4 *)0x0) {\n        return (uint *)(iVar10 + 2);\n      }\n      uVar3 = bignum_from_bytes(pbVar7 + 2,iVar10);\n      *puVar9 = uVar3;\n      puVar2 = (uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7));\n    }\n    return puVar2;\n  }\n  iVar10 = (int)(param_2 + 3) >> 2;\n  puVar2 = (uint *)FUN_00056014(iVar10);\n  if (iVar10 != 0) {\n    puVar4 = puVar2;\n    do {\n      puVar4[1] = 0;\n      puVar4 = puVar4 + 1;\n    } while (puVar4 != puVar2 + iVar10);\n  }\n  uVar5 = 0;\n  if (param_2 != 0) {\n    do {\n      uVar6 = uVar5 + 1;\n      puVar2[((int)uVar5 >> 2) + 1] =\n           puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3);\n      uVar5 = uVar6;\n    } while (param_2 != uVar6);\n  }\n  uVar5 = *puVar2;\n  if (1 < uVar5) {\n    puVar4 = puVar2 + uVar5;\n    uVar6 = *puVar4;\n    while (uVar6 == 0) {\n      uVar5 = uVar5 - 1;\n      *puVar2 = uVar5;\n      if (uVar5 == 1) {\n        return puVar2;\n      }\n      puVar1 = puVar4 + -1;\n      puVar4 = puVar4 + -1;\n      uVar6 = *puVar1;\n    }\n  }\n  return puVar2;\n}" (type_identifier "uint") (pointer_declarator "* bignum_from_bytes_le(int param_1,uint param_2)" (* "*") (function_declarator "bignum_from_bytes_le(int param_1,uint param_2)" (identifier "bignum_from_bytes_le") (parameter_list "(int param_1,uint param_2)" (( "(") (parameter_declaration "int param_1" (primitive_type "int") (identifier "param_1")) (, ",") (parameter_declaration "uint param_2" (type_identifier "uint") (identifier "param_2")) () ")")))) (compound_statement "{\n  uint *puVar1;\n  uint *puVar2;\n  undefined4 uVar3;\n  uint *puVar4;\n  uint uVar5;\n  uint uVar6;\n  byte *pbVar7;\n  undefined *puVar8;\n  undefined4 *puVar9;\n  int iVar10;\n  \n  if (0xffffffe < param_2) {\n    puVar9 = (undefined4 *)&DAT_0000059a;\n    puVar8 = PTR_DAT_000b01d0 + -0x6e40;\n    pbVar7 = PTR_DAT_000b01d0 + -0x6da4;\n    (*(code *)PTR___assert_fail_000b0ac0)();\n    if ((int)puVar8 < 2) {\n      return (uint *)0xffffffff;\n    }\n    iVar10 = (int)((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7) >> 3;\n    puVar2 = (uint *)0xffffffff;\n    if (iVar10 + 1 < (int)puVar8) {\n      if (puVar9 == (undefined4 *)0x0) {\n        return (uint *)(iVar10 + 2);\n      }\n      uVar3 = bignum_from_bytes(pbVar7 + 2,iVar10);\n      *puVar9 = uVar3;\n      puVar2 = (uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7));\n    }\n    return puVar2;\n  }\n  iVar10 = (int)(param_2 + 3) >> 2;\n  puVar2 = (uint *)FUN_00056014(iVar10);\n  if (iVar10 != 0) {\n    puVar4 = puVar2;\n    do {\n      puVar4[1] = 0;\n      puVar4 = puVar4 + 1;\n    } while (puVar4 != puVar2 + iVar10);\n  }\n  uVar5 = 0;\n  if (param_2 != 0) {\n    do {\n      uVar6 = uVar5 + 1;\n      puVar2[((int)uVar5 >> 2) + 1] =\n           puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3);\n      uVar5 = uVar6;\n    } while (param_2 != uVar6);\n  }\n  uVar5 = *puVar2;\n  if (1 < uVar5) {\n    puVar4 = puVar2 + uVar5;\n    uVar6 = *puVar4;\n    while (uVar6 == 0) {\n      uVar5 = uVar5 - 1;\n      *puVar2 = uVar5;\n      if (uVar5 == 1) {\n        return puVar2;\n      }\n      puVar1 = puVar4 + -1;\n      puVar4 = puVar4 + -1;\n      uVar6 = *puVar1;\n    }\n  }\n  return puVar2;\n}" ({ "{") (declaration "uint *puVar1;" (type_identifier "uint") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (declaration "uint *puVar2;" (type_identifier "uint") (pointer_declarator "*puVar2" (* "*") (identifier "puVar2")) (; ";")) (declaration "undefined4 uVar3;" (type_identifier "undefined4") (identifier "uVar3") (; ";")) (declaration "uint *puVar4;" (type_identifier "uint") (pointer_declarator "*puVar4" (* "*") (identifier "puVar4")) (; ";")) (declaration "uint uVar5;" (type_identifier "uint") (identifier "uVar5") (; ";")) (declaration "uint uVar6;" (type_identifier "uint") (identifier "uVar6") (; ";")) (declaration "byte *pbVar7;" (type_identifier "byte") (pointer_declarator "*pbVar7" (* "*") (identifier "pbVar7")) (; ";")) (declaration "undefined *puVar8;" (type_identifier "undefined") (pointer_declarator "*puVar8" (* "*") (identifier "puVar8")) (; ";")) (declaration "undefined4 *puVar9;" (type_identifier "undefined4") (pointer_declarator "*puVar9" (* "*") (identifier "puVar9")) (; ";")) (declaration "int iVar10;" (primitive_type "int") (identifier "iVar10") (; ";")) (if_statement "if (0xffffffe < param_2) {\n    puVar9 = (undefined4 *)&DAT_0000059a;\n    puVar8 = PTR_DAT_000b01d0 + -0x6e40;\n    pbVar7 = PTR_DAT_000b01d0 + -0x6da4;\n    (*(code *)PTR___assert_fail_000b0ac0)();\n    if ((int)puVar8 < 2) {\n      return (uint *)0xffffffff;\n    }\n    iVar10 = (int)((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7) >> 3;\n    puVar2 = (uint *)0xffffffff;\n    if (iVar10 + 1 < (int)puVar8) {\n      if (puVar9 == (undefined4 *)0x0) {\n        return (uint *)(iVar10 + 2);\n      }\n      uVar3 = bignum_from_bytes(pbVar7 + 2,iVar10);\n      *puVar9 = uVar3;\n      puVar2 = (uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7));\n    }\n    return puVar2;\n  }" (if "if") (parenthesized_expression "(0xffffffe < param_2)" (( "(") (binary_expression "0xffffffe < param_2" (number_literal "0xffffffe") (< "<") (identifier "param_2")) () ")")) (compound_statement "{\n    puVar9 = (undefined4 *)&DAT_0000059a;\n    puVar8 = PTR_DAT_000b01d0 + -0x6e40;\n    pbVar7 = PTR_DAT_000b01d0 + -0x6da4;\n    (*(code *)PTR___assert_fail_000b0ac0)();\n    if ((int)puVar8 < 2) {\n      return (uint *)0xffffffff;\n    }\n    iVar10 = (int)((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7) >> 3;\n    puVar2 = (uint *)0xffffffff;\n    if (iVar10 + 1 < (int)puVar8) {\n      if (puVar9 == (undefined4 *)0x0) {\n        return (uint *)(iVar10 + 2);\n      }\n      uVar3 = bignum_from_bytes(pbVar7 + 2,iVar10);\n      *puVar9 = uVar3;\n      puVar2 = (uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7));\n    }\n    return puVar2;\n  }" ({ "{") (expression_statement "puVar9 = (undefined4 *)&DAT_0000059a;" (assignment_expression "puVar9 = (undefined4 *)&DAT_0000059a" (identifier "puVar9") (= "=") (cast_expression "(undefined4 *)&DAT_0000059a" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (pointer_expression "&DAT_0000059a" (& "&") (identifier "DAT_0000059a")))) (; ";")) (expression_statement "puVar8 = PTR_DAT_000b01d0 + -0x6e40;" (assignment_expression "puVar8 = PTR_DAT_000b01d0 + -0x6e40" (identifier "puVar8") (= "=") (binary_expression "PTR_DAT_000b01d0 + -0x6e40" (identifier "PTR_DAT_000b01d0") (+ "+") (number_literal "-0x6e40"))) (; ";")) (expression_statement "pbVar7 = PTR_DAT_000b01d0 + -0x6da4;" (assignment_expression "pbVar7 = PTR_DAT_000b01d0 + -0x6da4" (identifier "pbVar7") (= "=") (binary_expression "PTR_DAT_000b01d0 + -0x6da4" (identifier "PTR_DAT_000b01d0") (+ "+") (number_literal "-0x6da4"))) (; ";")) (expression_statement "(*(code *)PTR___assert_fail_000b0ac0)();" (call_expression "(*(code *)PTR___assert_fail_000b0ac0)()" (parenthesized_expression "(*(code *)PTR___assert_fail_000b0ac0)" (( "(") (pointer_expression "*(code *)PTR___assert_fail_000b0ac0" (* "*") (cast_expression "(code *)PTR___assert_fail_000b0ac0" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___assert_fail_000b0ac0"))) () ")")) (argument_list "()" (( "(") () ")"))) (; ";")) (if_statement "if ((int)puVar8 < 2) {\n      return (uint *)0xffffffff;\n    }" (if "if") (parenthesized_expression "((int)puVar8 < 2)" (( "(") (binary_expression "(int)puVar8 < 2" (cast_expression "(int)puVar8" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "puVar8")) (< "<") (number_literal "2")) () ")")) (compound_statement "{\n      return (uint *)0xffffffff;\n    }" ({ "{") (return_statement "return (uint *)0xffffffff;" (return "return") (cast_expression "(uint *)0xffffffff" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0xffffffff")) (; ";")) (} "}"))) (expression_statement "iVar10 = (int)((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7) >> 3;" (assignment_expression "iVar10 = (int)((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7) >> 3" (identifier "iVar10") (= "=") (binary_expression "(int)((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7) >> 3" (cast_expression "(int)((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7)" (( "(") (binary_expression "(uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7" (binary_expression "(uint)*pbVar7 * 0x100 + (uint)pbVar7[1]" (binary_expression "(uint)*pbVar7 * 0x100" (binary_expression "(uint)*pbVar7" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (* "*") (identifier "pbVar7")) (* "*") (number_literal "0x100")) (+ "+") (cast_expression "(uint)pbVar7[1]" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (subscript_expression "pbVar7[1]" (identifier "pbVar7") ([ "[") (number_literal "1") (] "]")))) (+ "+") (number_literal "7")) () ")"))) (>> ">>") (number_literal "3"))) (; ";")) (expression_statement "puVar2 = (uint *)0xffffffff;" (assignment_expression "puVar2 = (uint *)0xffffffff" (identifier "puVar2") (= "=") (cast_expression "(uint *)0xffffffff" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0xffffffff"))) (; ";")) (if_statement "if (iVar10 + 1 < (int)puVar8) {\n      if (puVar9 == (undefined4 *)0x0) {\n        return (uint *)(iVar10 + 2);\n      }\n      uVar3 = bignum_from_bytes(pbVar7 + 2,iVar10);\n      *puVar9 = uVar3;\n      puVar2 = (uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7));\n    }" (if "if") (parenthesized_expression "(iVar10 + 1 < (int)puVar8)" (( "(") (binary_expression "iVar10 + 1 < (int)puVar8" (binary_expression "iVar10 + 1" (identifier "iVar10") (+ "+") (number_literal "1")) (< "<") (cast_expression "(int)puVar8" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "puVar8"))) () ")")) (compound_statement "{\n      if (puVar9 == (undefined4 *)0x0) {\n        return (uint *)(iVar10 + 2);\n      }\n      uVar3 = bignum_from_bytes(pbVar7 + 2,iVar10);\n      *puVar9 = uVar3;\n      puVar2 = (uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7));\n    }" ({ "{") (if_statement "if (puVar9 == (undefined4 *)0x0) {\n        return (uint *)(iVar10 + 2);\n      }" (if "if") (parenthesized_expression "(puVar9 == (undefined4 *)0x0)" (( "(") (binary_expression "puVar9 == (undefined4 *)0x0" (identifier "puVar9") (== "==") (cast_expression "(undefined4 *)0x0" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (compound_statement "{\n        return (uint *)(iVar10 + 2);\n      }" ({ "{") (return_statement "return (uint *)(iVar10 + 2);" (return "return") (cast_expression "(uint *)(iVar10 + 2)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(iVar10 + 2)" (( "(") (binary_expression "iVar10 + 2" (identifier "iVar10") (+ "+") (number_literal "2")) () ")"))) (; ";")) (} "}"))) (expression_statement "uVar3 = bignum_from_bytes(pbVar7 + 2,iVar10);" (assignment_expression "uVar3 = bignum_from_bytes(pbVar7 + 2,iVar10)" (identifier "uVar3") (= "=") (call_expression "bignum_from_bytes(pbVar7 + 2,iVar10)" (identifier "bignum_from_bytes") (argument_list "(pbVar7 + 2,iVar10)" (( "(") (binary_expression "pbVar7 + 2" (identifier "pbVar7") (+ "+") (number_literal "2")) (, ",") (identifier "iVar10") () ")")))) (; ";")) (expression_statement "*puVar9 = uVar3;" (assignment_expression "*puVar9 = uVar3" (pointer_expression "*puVar9" (* "*") (identifier "puVar9")) (= "=") (identifier "uVar3")) (; ";")) (expression_statement "puVar2 = (uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7));" (assignment_expression "puVar2 = (uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7))" (identifier "puVar2") (= "=") (cast_expression "(uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7))" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(pbVar7 + 2 + (iVar10 - (int)pbVar7))" (( "(") (binary_expression "pbVar7 + 2 + (iVar10 - (int)pbVar7)" (binary_expression "pbVar7 + 2" (identifier "pbVar7") (+ "+") (number_literal "2")) (+ "+") (parenthesized_expression "(iVar10 - (int)pbVar7)" (( "(") (binary_expression "iVar10 - (int)pbVar7" (identifier "iVar10") (- "-") (cast_expression "(int)pbVar7" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "pbVar7"))) () ")"))) () ")")))) (; ";")) (} "}"))) (return_statement "return puVar2;" (return "return") (identifier "puVar2") (; ";")) (} "}"))) (expression_statement "iVar10 = (int)(param_2 + 3) >> 2;" (assignment_expression "iVar10 = (int)(param_2 + 3) >> 2" (identifier "iVar10") (= "=") (binary_expression "(int)(param_2 + 3) >> 2" (cast_expression "(int)(param_2 + 3)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "(param_2 + 3)" (( "(") (binary_expression "param_2 + 3" (identifier "param_2") (+ "+") (number_literal "3")) () ")"))) (>> ">>") (number_literal "2"))) (; ";")) (expression_statement "puVar2 = (uint *)FUN_00056014(iVar10);" (assignment_expression "puVar2 = (uint *)FUN_00056014(iVar10)" (identifier "puVar2") (= "=") (cast_expression "(uint *)FUN_00056014(iVar10)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "FUN_00056014(iVar10)" (identifier "FUN_00056014") (argument_list "(iVar10)" (( "(") (identifier "iVar10") () ")"))))) (; ";")) (if_statement "if (iVar10 != 0) {\n    puVar4 = puVar2;\n    do {\n      puVar4[1] = 0;\n      puVar4 = puVar4 + 1;\n    } while (puVar4 != puVar2 + iVar10);\n  }" (if "if") (parenthesized_expression "(iVar10 != 0)" (( "(") (binary_expression "iVar10 != 0" (identifier "iVar10") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n    puVar4 = puVar2;\n    do {\n      puVar4[1] = 0;\n      puVar4 = puVar4 + 1;\n    } while (puVar4 != puVar2 + iVar10);\n  }" ({ "{") (expression_statement "puVar4 = puVar2;" (assignment_expression "puVar4 = puVar2" (identifier "puVar4") (= "=") (identifier "puVar2")) (; ";")) (do_statement "do {\n      puVar4[1] = 0;\n      puVar4 = puVar4 + 1;\n    } while (puVar4 != puVar2 + iVar10);" (do "do") (compound_statement "{\n      puVar4[1] = 0;\n      puVar4 = puVar4 + 1;\n    }" ({ "{") (expression_statement "puVar4[1] = 0;" (assignment_expression "puVar4[1] = 0" (subscript_expression "puVar4[1]" (identifier "puVar4") ([ "[") (number_literal "1") (] "]")) (= "=") (number_literal "0")) (; ";")) (expression_statement "puVar4 = puVar4 + 1;" (assignment_expression "puVar4 = puVar4 + 1" (identifier "puVar4") (= "=") (binary_expression "puVar4 + 1" (identifier "puVar4") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(puVar4 != puVar2 + iVar10)" (( "(") (binary_expression "puVar4 != puVar2 + iVar10" (identifier "puVar4") (!= "!=") (binary_expression "puVar2 + iVar10" (identifier "puVar2") (+ "+") (identifier "iVar10"))) () ")")) (; ";")) (} "}"))) (expression_statement "uVar5 = 0;" (assignment_expression "uVar5 = 0" (identifier "uVar5") (= "=") (number_literal "0")) (; ";")) (if_statement "if (param_2 != 0) {\n    do {\n      uVar6 = uVar5 + 1;\n      puVar2[((int)uVar5 >> 2) + 1] =\n           puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3);\n      uVar5 = uVar6;\n    } while (param_2 != uVar6);\n  }" (if "if") (parenthesized_expression "(param_2 != 0)" (( "(") (binary_expression "param_2 != 0" (identifier "param_2") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n    do {\n      uVar6 = uVar5 + 1;\n      puVar2[((int)uVar5 >> 2) + 1] =\n           puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3);\n      uVar5 = uVar6;\n    } while (param_2 != uVar6);\n  }" ({ "{") (do_statement "do {\n      uVar6 = uVar5 + 1;\n      puVar2[((int)uVar5 >> 2) + 1] =\n           puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3);\n      uVar5 = uVar6;\n    } while (param_2 != uVar6);" (do "do") (compound_statement "{\n      uVar6 = uVar5 + 1;\n      puVar2[((int)uVar5 >> 2) + 1] =\n           puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3);\n      uVar5 = uVar6;\n    }" ({ "{") (expression_statement "uVar6 = uVar5 + 1;" (assignment_expression "uVar6 = uVar5 + 1" (identifier "uVar6") (= "=") (binary_expression "uVar5 + 1" (identifier "uVar5") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "puVar2[((int)uVar5 >> 2) + 1] =\n           puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3);" (assignment_expression "puVar2[((int)uVar5 >> 2) + 1] =\n           puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3)" (subscript_expression "puVar2[((int)uVar5 >> 2) + 1]" (identifier "puVar2") ([ "[") (binary_expression "((int)uVar5 >> 2) + 1" (parenthesized_expression "((int)uVar5 >> 2)" (( "(") (binary_expression "(int)uVar5 >> 2" (cast_expression "(int)uVar5" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar5")) (>> ">>") (number_literal "2")) () ")")) (+ "+") (number_literal "1")) (] "]")) (= "=") (binary_expression "puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3)" (subscript_expression "puVar2[((int)uVar5 >> 2) + 1]" (identifier "puVar2") ([ "[") (binary_expression "((int)uVar5 >> 2) + 1" (parenthesized_expression "((int)uVar5 >> 2)" (( "(") (binary_expression "(int)uVar5 >> 2" (cast_expression "(int)uVar5" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar5")) (>> ">>") (number_literal "2")) () ")")) (+ "+") (number_literal "1")) (] "]")) (| "|") (binary_expression "(uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3)" (binary_expression "(uint)*(byte *)(param_1 + uVar5)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (* "*") (cast_expression "(byte *)(param_1 + uVar5)" (( "(") (type_descriptor "byte *" (type_identifier "byte") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + uVar5)" (( "(") (binary_expression "param_1 + uVar5" (identifier "param_1") (+ "+") (identifier "uVar5")) () ")")))) (<< "<<") (parenthesized_expression "((uVar5 & 3) << 3)" (( "(") (binary_expression "(uVar5 & 3) << 3" (parenthesized_expression "(uVar5 & 3)" (( "(") (binary_expression "uVar5 & 3" (identifier "uVar5") (& "&") (number_literal "3")) () ")")) (<< "<<") (number_literal "3")) () ")"))))) (; ";")) (expression_statement "uVar5 = uVar6;" (assignment_expression "uVar5 = uVar6" (identifier "uVar5") (= "=") (identifier "uVar6")) (; ";")) (} "}")) (while "while") (parenthesized_expression "(param_2 != uVar6)" (( "(") (binary_expression "param_2 != uVar6" (identifier "param_2") (!= "!=") (identifier "uVar6")) () ")")) (; ";")) (} "}"))) (expression_statement "uVar5 = *puVar2;" (assignment_expression "uVar5 = *puVar2" (identifier "uVar5") (= "=") (pointer_expression "*puVar2" (* "*") (identifier "puVar2"))) (; ";")) (if_statement "if (1 < uVar5) {\n    puVar4 = puVar2 + uVar5;\n    uVar6 = *puVar4;\n    while (uVar6 == 0) {\n      uVar5 = uVar5 - 1;\n      *puVar2 = uVar5;\n      if (uVar5 == 1) {\n        return puVar2;\n      }\n      puVar1 = puVar4 + -1;\n      puVar4 = puVar4 + -1;\n      uVar6 = *puVar1;\n    }\n  }" (if "if") (parenthesized_expression "(1 < uVar5)" (( "(") (binary_expression "1 < uVar5" (number_literal "1") (< "<") (identifier "uVar5")) () ")")) (compound_statement "{\n    puVar4 = puVar2 + uVar5;\n    uVar6 = *puVar4;\n    while (uVar6 == 0) {\n      uVar5 = uVar5 - 1;\n      *puVar2 = uVar5;\n      if (uVar5 == 1) {\n        return puVar2;\n      }\n      puVar1 = puVar4 + -1;\n      puVar4 = puVar4 + -1;\n      uVar6 = *puVar1;\n    }\n  }" ({ "{") (expression_statement "puVar4 = puVar2 + uVar5;" (assignment_expression "puVar4 = puVar2 + uVar5" (identifier "puVar4") (= "=") (binary_expression "puVar2 + uVar5" (identifier "puVar2") (+ "+") (identifier "uVar5"))) (; ";")) (expression_statement "uVar6 = *puVar4;" (assignment_expression "uVar6 = *puVar4" (identifier "uVar6") (= "=") (pointer_expression "*puVar4" (* "*") (identifier "puVar4"))) (; ";")) (while_statement "while (uVar6 == 0) {\n      uVar5 = uVar5 - 1;\n      *puVar2 = uVar5;\n      if (uVar5 == 1) {\n        return puVar2;\n      }\n      puVar1 = puVar4 + -1;\n      puVar4 = puVar4 + -1;\n      uVar6 = *puVar1;\n    }" (while "while") (parenthesized_expression "(uVar6 == 0)" (( "(") (binary_expression "uVar6 == 0" (identifier "uVar6") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      uVar5 = uVar5 - 1;\n      *puVar2 = uVar5;\n      if (uVar5 == 1) {\n        return puVar2;\n      }\n      puVar1 = puVar4 + -1;\n      puVar4 = puVar4 + -1;\n      uVar6 = *puVar1;\n    }" ({ "{") (expression_statement "uVar5 = uVar5 - 1;" (assignment_expression "uVar5 = uVar5 - 1" (identifier "uVar5") (= "=") (binary_expression "uVar5 - 1" (identifier "uVar5") (- "-") (number_literal "1"))) (; ";")) (expression_statement "*puVar2 = uVar5;" (assignment_expression "*puVar2 = uVar5" (pointer_expression "*puVar2" (* "*") (identifier "puVar2")) (= "=") (identifier "uVar5")) (; ";")) (if_statement "if (uVar5 == 1) {\n        return puVar2;\n      }" (if "if") (parenthesized_expression "(uVar5 == 1)" (( "(") (binary_expression "uVar5 == 1" (identifier "uVar5") (== "==") (number_literal "1")) () ")")) (compound_statement "{\n        return puVar2;\n      }" ({ "{") (return_statement "return puVar2;" (return "return") (identifier "puVar2") (; ";")) (} "}"))) (expression_statement "puVar1 = puVar4 + -1;" (assignment_expression "puVar1 = puVar4 + -1" (identifier "puVar1") (= "=") (binary_expression "puVar4 + -1" (identifier "puVar4") (+ "+") (number_literal "-1"))) (; ";")) (expression_statement "puVar4 = puVar4 + -1;" (assignment_expression "puVar4 = puVar4 + -1" (identifier "puVar4") (= "=") (binary_expression "puVar4 + -1" (identifier "puVar4") (+ "+") (number_literal "-1"))) (; ";")) (expression_statement "uVar6 = *puVar1;" (assignment_expression "uVar6 = *puVar1" (identifier "uVar6") (= "=") (pointer_expression "*puVar1" (* "*") (identifier "puVar1"))) (; ";")) (} "}"))) (} "}"))) (return_statement "return puVar2;" (return "return") (identifier "puVar2") (; ";")) (} "}")))
(translation_unit (function_definition type: (type_identifier) declarator: (pointer_declarator declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (identifier)) (parameter_declaration type: (type_identifier) declarator: (identifier))))) body: (compound_statement (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (primitive_type) declarator: (identifier)) (if_statement condition: (parenthesized_expression (binary_expression left: (number_literal) right: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (pointer_expression argument: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (call_expression function: (parenthesized_expression (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))) arguments: (argument_list))) (if_statement condition: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)) right: (number_literal))) consequence: (compound_statement (return_statement (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (number_literal))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (parenthesized_expression (binary_expression left: (binary_expression left: (binary_expression left: (binary_expression left: (parenthesized_expression (identifier)) right: (identifier)) right: (number_literal)) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (subscript_expression argument: (identifier) index: (number_literal)))) right: (number_literal)))) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)))) consequence: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (number_literal)))) consequence: (compound_statement (return_statement (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (identifier) arguments: (argument_list (binary_expression left: (identifier) right: (number_literal)) (identifier))))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (parenthesized_expression (binary_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier))))))))))) (return_statement (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (call_expression function: (identifier) arguments: (argument_list (identifier)))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (identifier))) (do_statement body: (compound_statement (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))) condition: (parenthesized_expression (binary_expression left: (identifier) right: (binary_expression left: (identifier) right: (identifier))))))) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (binary_expression left: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)) right: (number_literal))) right: (number_literal))) right: (binary_expression left: (subscript_expression argument: (identifier) index: (binary_expression left: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)) right: (number_literal))) right: (number_literal))) right: (binary_expression left: (binary_expression left: (parenthesized_expression (identifier)) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))))) right: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (number_literal))))))) (expression_statement (assignment_expression left: (identifier) right: (identifier)))) condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier)))))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (if_statement condition: (parenthesized_expression (binary_expression left: (number_literal) right: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (while_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (return_statement (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))))))) (return_statement (identifier)))))

uint * MASKED(int param_1,uint param_2)

{
  uint *puVar1;
  uint *puVar2;
  undefined4 uVar3;
  uint *puVar4;
  uint uVar5;
  uint uVar6;
  byte *pbVar7;
  undefined *puVar8;
  undefined4 *puVar9;
  int iVar10;
  
  if (0xffffffe < param_2) {
    puVar9 = (undefined4 *)&DAT_0000059a;
    puVar8 = PTR_DAT_000b01d0 + -0x6e40;
    pbVar7 = PTR_DAT_000b01d0 + -0x6da4;
    (*(code *)PTR___assert_fail_000b0ac0)();
    if ((int)puVar8 < 2) {
      return (uint *)0xffffffff;
    }
    iVar10 = (int)((uint)*pbVar7 * 0x100 + (uint)pbVar7[1] + 7) >> 3;
    puVar2 = (uint *)0xffffffff;
    if (iVar10 + 1 < (int)puVar8) {
      if (puVar9 == (undefined4 *)0x0) {
        return (uint *)(iVar10 + 2);
      }
      uVar3 = bignum_from_bytes(pbVar7 + 2,iVar10);
      *puVar9 = uVar3;
      puVar2 = (uint *)(pbVar7 + 2 + (iVar10 - (int)pbVar7));
    }
    return puVar2;
  }
  iVar10 = (int)(param_2 + 3) >> 2;
  puVar2 = (uint *)FUN_00056014(iVar10);
  if (iVar10 != 0) {
    puVar4 = puVar2;
    do {
      puVar4[1] = 0;
      puVar4 = puVar4 + 1;
    } while (puVar4 != puVar2 + iVar10);
  }
  uVar5 = 0;
  if (param_2 != 0) {
    do {
      uVar6 = uVar5 + 1;
      puVar2[((int)uVar5 >> 2) + 1] =
           puVar2[((int)uVar5 >> 2) + 1] | (uint)*(byte *)(param_1 + uVar5) << ((uVar5 & 3) << 3);
      uVar5 = uVar6;
    } while (param_2 != uVar6);
  }
  uVar5 = *puVar2;
  if (1 < uVar5) {
    puVar4 = puVar2 + uVar5;
    uVar6 = *puVar4;
    while (uVar6 == 0) {
      uVar5 = uVar5 - 1;
      *puVar2 = uVar5;
      if (uVar5 == 1) {
        return puVar2;
      }
      puVar1 = puVar4 + -1;
      puVar4 = puVar4 + -1;
      uVar6 = *puVar1;
    }
  }
  return puVar2;
}

