
Bignum_conflict bignum_from_bytes(uchar *data,int nbytes)

{
  byte bVar1;
  int iVar2;
  Bignum_conflict b;
  long lVar3;
  int iVar4;
  
  if (0xffffffe < (uint)nbytes) {
                    /* WARNING: Subroutine does not return */
    __assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes");
  }
  iVar4 = nbytes + 0xe;
  if (-1 < nbytes + 7) {
    iVar4 = nbytes + 7;
  }
  b = newbn(iVar4 >> 3);
  if (nbytes < 1) {
    iVar4 = nbytes + -1;
    if (nbytes == 0) goto LAB_001365b3;
  }
  else {
    lVar3 = 1;
    do {
      b[lVar3] = 0;
      lVar3 = lVar3 + 1;
    } while ((int)lVar3 <= iVar4 >> 3);
    iVar4 = nbytes + -1;
  }
  do {
    iVar2 = iVar4 + 7;
    if (-1 < iVar4) {
      iVar2 = iVar4;
    }
    bVar1 = (byte)(iVar4 * 8 >> 0x1f);
    b[(iVar2 >> 3) + 1] =
         b[(iVar2 >> 3) + 1] |
         (ulong)*data << (((char)(iVar4 * 8) + (bVar1 >> 2) & 0x3f) - (bVar1 >> 2) & 0x3f);
    iVar4 = iVar4 + -1;
    data = data + 1;
  } while (iVar4 != -1);
LAB_001365b3:
  bn_restore_invariant(b);
  return b;
}



long FUN_0013651e(byte *param_1,uint param_2)

{
  ulong *puVar1;
  byte bVar2;
  int iVar3;
  long lVar4;
  long lVar5;
  int iVar6;
  
  if (0xffffffe < param_2) {
                    /* WARNING: Subroutine does not return */
    __assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes");
  }
  iVar6 = param_2 + 0xe;
  if (-1 < (int)(param_2 + 7)) {
    iVar6 = param_2 + 7;
  }
  lVar4 = FUN_0013608a();
  if ((int)param_2 < 1) {
    iVar6 = param_2 - 1;
    if (param_2 == 0) goto LAB_001365b3;
  }
  else {
    lVar5 = 1;
    do {
      *(undefined8 *)(lVar4 + lVar5 * 8) = 0;
      lVar5 = lVar5 + 1;
    } while ((int)lVar5 <= iVar6 >> 3);
    iVar6 = param_2 - 1;
  }
  do {
    iVar3 = iVar6 + 7;
    if (-1 < iVar6) {
      iVar3 = iVar6;
    }
    bVar2 = (byte)(iVar6 * 8 >> 0x1f);
    puVar1 = (ulong *)(lVar4 + (long)((iVar3 >> 3) + 1) * 8);
    *puVar1 = *puVar1 | (ulong)*param_1 <<
                        (((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f);
    iVar6 = iVar6 + -1;
    param_1 = param_1 + 1;
  } while (iVar6 != -1);
LAB_001365b3:
  FUN_001360ee(lVar4);
  return lVar4;
}


PUSH R13
PUSH R12
PUSH RBP
PUSH RBX
SUB RSP,0x8
CMP ESI,0xffffffe
JA 0x001365c9
MOV RBP,RDI
MOV R13D,ESI
LEA EDI,[RSI + 0xe]
MOV EAX,ESI
ADD EAX,0x7
CMOVNS EDI,EAX
SAR EDI,0x3
MOV R12D,EDI
CALL 0x0013608a
MOV RBX,RAX
TEST R13D,R13D
JLE 0x001365e8
MOV EAX,0x1
MOV qword ptr [RBX + RAX*0x8],0x0
ADD RAX,0x1
CMP R12D,EAX
JGE 0x00136561
LEA EDX,[R13 + -0x1]
ADD RBP,0x1
LEA EAX,[RDX + 0x7]
TEST EDX,EDX
CMOVNS EAX,EDX
SAR EAX,0x3
ADD EAX,0x1
CDQE
MOVZX EDI,byte ptr [RBP + -0x1]
LEA ECX,[RDX*0x8]
MOV ESI,ECX
SAR ESI,0x1f
SHR ESI,0x1a
ADD ECX,ESI
AND ECX,0x3f
SUB ECX,ESI
SHL RDI,CL
OR qword ptr [RBX + RAX*0x8],RDI
SUB EDX,0x1
CMP EDX,-0x1
JNZ 0x00136576
MOV RDI,RBX
CALL 0x001360ee
MOV RAX,RBX
ADD RSP,0x8
POP RBX
POP RBP
POP R12
POP R13
RET
LEA RCX,[0x168eb0]
MOV EDX,0x584
LEA RSI,[0x168d08]
LEA RDI,[0x168e18]
CALL 0x00107360
LEA EDX,[R13 + -0x1]
JZ 0x001365b3
JMP 0x00136576
(translation_unit "long FUN_0013651e(byte *param_1,uint param_2)\n\n{\n  ulong *puVar1;\n  byte bVar2;\n  int iVar3;\n  long lVar4;\n  long lVar5;\n  int iVar6;\n  \n  if (0xffffffe < param_2) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes");\n  }\n  iVar6 = param_2 + 0xe;\n  if (-1 < (int)(param_2 + 7)) {\n    iVar6 = param_2 + 7;\n  }\n  lVar4 = FUN_0013608a();\n  if ((int)param_2 < 1) {\n    iVar6 = param_2 - 1;\n    if (param_2 == 0) goto LAB_001365b3;\n  }\n  else {\n    lVar5 = 1;\n    do {\n      *(undefined8 *)(lVar4 + lVar5 * 8) = 0;\n      lVar5 = lVar5 + 1;\n    } while ((int)lVar5 <= iVar6 >> 3);\n    iVar6 = param_2 - 1;\n  }\n  do {\n    iVar3 = iVar6 + 7;\n    if (-1 < iVar6) {\n      iVar3 = iVar6;\n    }\n    bVar2 = (byte)(iVar6 * 8 >> 0x1f);\n    puVar1 = (ulong *)(lVar4 + (long)((iVar3 >> 3) + 1) * 8);\n    *puVar1 = *puVar1 | (ulong)*param_1 <<\n                        (((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f);\n    iVar6 = iVar6 + -1;\n    param_1 = param_1 + 1;\n  } while (iVar6 != -1);\nLAB_001365b3:\n  FUN_001360ee(lVar4);\n  return lVar4;\n}\n\n" (function_definition "long FUN_0013651e(byte *param_1,uint param_2)\n\n{\n  ulong *puVar1;\n  byte bVar2;\n  int iVar3;\n  long lVar4;\n  long lVar5;\n  int iVar6;\n  \n  if (0xffffffe < param_2) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes");\n  }\n  iVar6 = param_2 + 0xe;\n  if (-1 < (int)(param_2 + 7)) {\n    iVar6 = param_2 + 7;\n  }\n  lVar4 = FUN_0013608a();\n  if ((int)param_2 < 1) {\n    iVar6 = param_2 - 1;\n    if (param_2 == 0) goto LAB_001365b3;\n  }\n  else {\n    lVar5 = 1;\n    do {\n      *(undefined8 *)(lVar4 + lVar5 * 8) = 0;\n      lVar5 = lVar5 + 1;\n    } while ((int)lVar5 <= iVar6 >> 3);\n    iVar6 = param_2 - 1;\n  }\n  do {\n    iVar3 = iVar6 + 7;\n    if (-1 < iVar6) {\n      iVar3 = iVar6;\n    }\n    bVar2 = (byte)(iVar6 * 8 >> 0x1f);\n    puVar1 = (ulong *)(lVar4 + (long)((iVar3 >> 3) + 1) * 8);\n    *puVar1 = *puVar1 | (ulong)*param_1 <<\n                        (((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f);\n    iVar6 = iVar6 + -1;\n    param_1 = param_1 + 1;\n  } while (iVar6 != -1);\nLAB_001365b3:\n  FUN_001360ee(lVar4);\n  return lVar4;\n}" (sized_type_specifier "long" long) (function_declarator "FUN_0013651e(byte *param_1,uint param_2)" identifier (parameter_list "(byte *param_1,uint param_2)" ( (parameter_declaration "byte *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint param_2" type_identifier identifier) ))) (compound_statement "{\n  ulong *puVar1;\n  byte bVar2;\n  int iVar3;\n  long lVar4;\n  long lVar5;\n  int iVar6;\n  \n  if (0xffffffe < param_2) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes");\n  }\n  iVar6 = param_2 + 0xe;\n  if (-1 < (int)(param_2 + 7)) {\n    iVar6 = param_2 + 7;\n  }\n  lVar4 = FUN_0013608a();\n  if ((int)param_2 < 1) {\n    iVar6 = param_2 - 1;\n    if (param_2 == 0) goto LAB_001365b3;\n  }\n  else {\n    lVar5 = 1;\n    do {\n      *(undefined8 *)(lVar4 + lVar5 * 8) = 0;\n      lVar5 = lVar5 + 1;\n    } while ((int)lVar5 <= iVar6 >> 3);\n    iVar6 = param_2 - 1;\n  }\n  do {\n    iVar3 = iVar6 + 7;\n    if (-1 < iVar6) {\n      iVar3 = iVar6;\n    }\n    bVar2 = (byte)(iVar6 * 8 >> 0x1f);\n    puVar1 = (ulong *)(lVar4 + (long)((iVar3 >> 3) + 1) * 8);\n    *puVar1 = *puVar1 | (ulong)*param_1 <<\n                        (((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f);\n    iVar6 = iVar6 + -1;\n    param_1 = param_1 + 1;\n  } while (iVar6 != -1);\nLAB_001365b3:\n  FUN_001360ee(lVar4);\n  return lVar4;\n}" { (declaration "ulong *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "byte bVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "long lVar4;" (sized_type_specifier "long" long) identifier ;) (declaration "long lVar5;" (sized_type_specifier "long" long) identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (if_statement "if (0xffffffe < param_2) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes");\n  }" if (parenthesized_expression "(0xffffffe < param_2)" ( (binary_expression "0xffffffe < param_2" number_literal < identifier) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes");\n  }" { comment (expression_statement "__assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes");" (call_expression "__assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes")" identifier (argument_list "("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes")" ( (string_literal ""nbytes >= 0 && nbytes < INT_MAX/8"" " string_content ") , (string_literal ""sshbn.c"" " string_content ") , number_literal , (string_literal ""bignum_from_bytes"" " string_content ") ))) ;) })) (expression_statement "iVar6 = param_2 + 0xe;" (assignment_expression "iVar6 = param_2 + 0xe" identifier = (binary_expression "param_2 + 0xe" identifier + number_literal)) ;) (if_statement "if (-1 < (int)(param_2 + 7)) {\n    iVar6 = param_2 + 7;\n  }" if (parenthesized_expression "(-1 < (int)(param_2 + 7))" ( (binary_expression "-1 < (int)(param_2 + 7)" number_literal < (cast_expression "(int)(param_2 + 7)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "(param_2 + 7)" ( (binary_expression "param_2 + 7" identifier + number_literal) )))) )) (compound_statement "{\n    iVar6 = param_2 + 7;\n  }" { (expression_statement "iVar6 = param_2 + 7;" (assignment_expression "iVar6 = param_2 + 7" identifier = (binary_expression "param_2 + 7" identifier + number_literal)) ;) })) (expression_statement "lVar4 = FUN_0013608a();" (assignment_expression "lVar4 = FUN_0013608a()" identifier = (call_expression "FUN_0013608a()" identifier (argument_list "()" ( )))) ;) (if_statement "if ((int)param_2 < 1) {\n    iVar6 = param_2 - 1;\n    if (param_2 == 0) goto LAB_001365b3;\n  }\n  else {\n    lVar5 = 1;\n    do {\n      *(undefined8 *)(lVar4 + lVar5 * 8) = 0;\n      lVar5 = lVar5 + 1;\n    } while ((int)lVar5 <= iVar6 >> 3);\n    iVar6 = param_2 - 1;\n  }" if (parenthesized_expression "((int)param_2 < 1)" ( (binary_expression "(int)param_2 < 1" (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier) < number_literal) )) (compound_statement "{\n    iVar6 = param_2 - 1;\n    if (param_2 == 0) goto LAB_001365b3;\n  }" { (expression_statement "iVar6 = param_2 - 1;" (assignment_expression "iVar6 = param_2 - 1" identifier = (binary_expression "param_2 - 1" identifier - number_literal)) ;) (if_statement "if (param_2 == 0) goto LAB_001365b3;" if (parenthesized_expression "(param_2 == 0)" ( (binary_expression "param_2 == 0" identifier == number_literal) )) (goto_statement "goto LAB_001365b3;" goto statement_identifier ;)) }) (else_clause "else {\n    lVar5 = 1;\n    do {\n      *(undefined8 *)(lVar4 + lVar5 * 8) = 0;\n      lVar5 = lVar5 + 1;\n    } while ((int)lVar5 <= iVar6 >> 3);\n    iVar6 = param_2 - 1;\n  }" else (compound_statement "{\n    lVar5 = 1;\n    do {\n      *(undefined8 *)(lVar4 + lVar5 * 8) = 0;\n      lVar5 = lVar5 + 1;\n    } while ((int)lVar5 <= iVar6 >> 3);\n    iVar6 = param_2 - 1;\n  }" { (expression_statement "lVar5 = 1;" (assignment_expression "lVar5 = 1" identifier = number_literal) ;) (do_statement "do {\n      *(undefined8 *)(lVar4 + lVar5 * 8) = 0;\n      lVar5 = lVar5 + 1;\n    } while ((int)lVar5 <= iVar6 >> 3);" do (compound_statement "{\n      *(undefined8 *)(lVar4 + lVar5 * 8) = 0;\n      lVar5 = lVar5 + 1;\n    }" { (expression_statement "*(undefined8 *)(lVar4 + lVar5 * 8) = 0;" (assignment_expression "*(undefined8 *)(lVar4 + lVar5 * 8) = 0" (pointer_expression "*(undefined8 *)(lVar4 + lVar5 * 8)" * (cast_expression "(undefined8 *)(lVar4 + lVar5 * 8)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(lVar4 + lVar5 * 8)" ( (binary_expression "lVar4 + lVar5 * 8" identifier + (binary_expression "lVar5 * 8" identifier * number_literal)) )))) = number_literal) ;) (expression_statement "lVar5 = lVar5 + 1;" (assignment_expression "lVar5 = lVar5 + 1" identifier = (binary_expression "lVar5 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "((int)lVar5 <= iVar6 >> 3)" ( (binary_expression "(int)lVar5 <= iVar6 >> 3" (cast_expression "(int)lVar5" ( (type_descriptor "int" primitive_type) ) identifier) <= (binary_expression "iVar6 >> 3" identifier >> number_literal)) )) ;) (expression_statement "iVar6 = param_2 - 1;" (assignment_expression "iVar6 = param_2 - 1" identifier = (binary_expression "param_2 - 1" identifier - number_literal)) ;) }))) (do_statement "do {\n    iVar3 = iVar6 + 7;\n    if (-1 < iVar6) {\n      iVar3 = iVar6;\n    }\n    bVar2 = (byte)(iVar6 * 8 >> 0x1f);\n    puVar1 = (ulong *)(lVar4 + (long)((iVar3 >> 3) + 1) * 8);\n    *puVar1 = *puVar1 | (ulong)*param_1 <<\n                        (((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f);\n    iVar6 = iVar6 + -1;\n    param_1 = param_1 + 1;\n  } while (iVar6 != -1);" do (compound_statement "{\n    iVar3 = iVar6 + 7;\n    if (-1 < iVar6) {\n      iVar3 = iVar6;\n    }\n    bVar2 = (byte)(iVar6 * 8 >> 0x1f);\n    puVar1 = (ulong *)(lVar4 + (long)((iVar3 >> 3) + 1) * 8);\n    *puVar1 = *puVar1 | (ulong)*param_1 <<\n                        (((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f);\n    iVar6 = iVar6 + -1;\n    param_1 = param_1 + 1;\n  }" { (expression_statement "iVar3 = iVar6 + 7;" (assignment_expression "iVar3 = iVar6 + 7" identifier = (binary_expression "iVar6 + 7" identifier + number_literal)) ;) (if_statement "if (-1 < iVar6) {\n      iVar3 = iVar6;\n    }" if (parenthesized_expression "(-1 < iVar6)" ( (binary_expression "-1 < iVar6" number_literal < identifier) )) (compound_statement "{\n      iVar3 = iVar6;\n    }" { (expression_statement "iVar3 = iVar6;" (assignment_expression "iVar3 = iVar6" identifier = identifier) ;) })) (expression_statement "bVar2 = (byte)(iVar6 * 8 >> 0x1f);" (assignment_expression "bVar2 = (byte)(iVar6 * 8 >> 0x1f)" identifier = (call_expression "(byte)(iVar6 * 8 >> 0x1f)" (parenthesized_expression "(byte)" ( identifier )) (argument_list "(iVar6 * 8 >> 0x1f)" ( (binary_expression "iVar6 * 8 >> 0x1f" (binary_expression "iVar6 * 8" identifier * number_literal) >> number_literal) )))) ;) (expression_statement "puVar1 = (ulong *)(lVar4 + (long)((iVar3 >> 3) + 1) * 8);" (assignment_expression "puVar1 = (ulong *)(lVar4 + (long)((iVar3 >> 3) + 1) * 8)" identifier = (cast_expression "(ulong *)(lVar4 + (long)((iVar3 >> 3) + 1) * 8)" ( (type_descriptor "ulong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(lVar4 + (long)((iVar3 >> 3) + 1) * 8)" ( (binary_expression "lVar4 + (long)((iVar3 >> 3) + 1) * 8" identifier + (binary_expression "(long)((iVar3 >> 3) + 1) * 8" (cast_expression "(long)((iVar3 >> 3) + 1)" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) (parenthesized_expression "((iVar3 >> 3) + 1)" ( (binary_expression "(iVar3 >> 3) + 1" (parenthesized_expression "(iVar3 >> 3)" ( (binary_expression "iVar3 >> 3" identifier >> number_literal) )) + number_literal) ))) * number_literal)) )))) ;) (expression_statement "*puVar1 = *puVar1 | (ulong)*param_1 <<\n                        (((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f);" (assignment_expression "*puVar1 = *puVar1 | (ulong)*param_1 <<\n                        (((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f)" (pointer_expression "*puVar1" * identifier) = (binary_expression "*puVar1 | (ulong)*param_1 <<\n                        (((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f)" (pointer_expression "*puVar1" * identifier) | (binary_expression "(ulong)*param_1 <<\n                        (((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f)" (binary_expression "(ulong)*param_1" (parenthesized_expression "(ulong)" ( identifier )) * identifier) << (parenthesized_expression "(((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f)" ( (binary_expression "((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f" (binary_expression "((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2)" (parenthesized_expression "((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f)" ( (binary_expression "(char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f" (binary_expression "(char)(iVar6 * 8) + (bVar2 >> 2)" (cast_expression "(char)(iVar6 * 8)" ( (type_descriptor "char" primitive_type) ) (parenthesized_expression "(iVar6 * 8)" ( (binary_expression "iVar6 * 8" identifier * number_literal) ))) + (parenthesized_expression "(bVar2 >> 2)" ( (binary_expression "bVar2 >> 2" identifier >> number_literal) ))) & number_literal) )) - (parenthesized_expression "(bVar2 >> 2)" ( (binary_expression "bVar2 >> 2" identifier >> number_literal) ))) & number_literal) ))))) ;) (expression_statement "iVar6 = iVar6 + -1;" (assignment_expression "iVar6 = iVar6 + -1" identifier = (binary_expression "iVar6 + -1" identifier + number_literal)) ;) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar6 != -1)" ( (binary_expression "iVar6 != -1" identifier != number_literal) )) ;) (labeled_statement "LAB_001365b3:\n  FUN_001360ee(lVar4);" statement_identifier : (expression_statement "FUN_001360ee(lVar4);" (call_expression "FUN_001360ee(lVar4)" identifier (argument_list "(lVar4)" ( identifier ))) ;)) (return_statement "return lVar4;" return identifier ;) })))
(translation_unit "Bignum_conflict bignum_from_bytes(uchar *data,int nbytes)\n\n{\n  byte bVar1;\n  int iVar2;\n  Bignum_conflict b;\n  long lVar3;\n  int iVar4;\n  \n  if (0xffffffe < (uint)nbytes) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes");\n  }\n  iVar4 = nbytes + 0xe;\n  if (-1 < nbytes + 7) {\n    iVar4 = nbytes + 7;\n  }\n  b = newbn(iVar4 >> 3);\n  if (nbytes < 1) {\n    iVar4 = nbytes + -1;\n    if (nbytes == 0) goto LAB_001365b3;\n  }\n  else {\n    lVar3 = 1;\n    do {\n      b[lVar3] = 0;\n      lVar3 = lVar3 + 1;\n    } while ((int)lVar3 <= iVar4 >> 3);\n    iVar4 = nbytes + -1;\n  }\n  do {\n    iVar2 = iVar4 + 7;\n    if (-1 < iVar4) {\n      iVar2 = iVar4;\n    }\n    bVar1 = (byte)(iVar4 * 8 >> 0x1f);\n    b[(iVar2 >> 3) + 1] =\n         b[(iVar2 >> 3) + 1] |\n         (ulong)*data << (((char)(iVar4 * 8) + (bVar1 >> 2) & 0x3f) - (bVar1 >> 2) & 0x3f);\n    iVar4 = iVar4 + -1;\n    data = data + 1;\n  } while (iVar4 != -1);\nLAB_001365b3:\n  bn_restore_invariant(b);\n  return b;\n}\n\n" (function_definition "Bignum_conflict bignum_from_bytes(uchar *data,int nbytes)\n\n{\n  byte bVar1;\n  int iVar2;\n  Bignum_conflict b;\n  long lVar3;\n  int iVar4;\n  \n  if (0xffffffe < (uint)nbytes) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes");\n  }\n  iVar4 = nbytes + 0xe;\n  if (-1 < nbytes + 7) {\n    iVar4 = nbytes + 7;\n  }\n  b = newbn(iVar4 >> 3);\n  if (nbytes < 1) {\n    iVar4 = nbytes + -1;\n    if (nbytes == 0) goto LAB_001365b3;\n  }\n  else {\n    lVar3 = 1;\n    do {\n      b[lVar3] = 0;\n      lVar3 = lVar3 + 1;\n    } while ((int)lVar3 <= iVar4 >> 3);\n    iVar4 = nbytes + -1;\n  }\n  do {\n    iVar2 = iVar4 + 7;\n    if (-1 < iVar4) {\n      iVar2 = iVar4;\n    }\n    bVar1 = (byte)(iVar4 * 8 >> 0x1f);\n    b[(iVar2 >> 3) + 1] =\n         b[(iVar2 >> 3) + 1] |\n         (ulong)*data << (((char)(iVar4 * 8) + (bVar1 >> 2) & 0x3f) - (bVar1 >> 2) & 0x3f);\n    iVar4 = iVar4 + -1;\n    data = data + 1;\n  } while (iVar4 != -1);\nLAB_001365b3:\n  bn_restore_invariant(b);\n  return b;\n}" type_identifier (function_declarator "bignum_from_bytes(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  byte bVar1;\n  int iVar2;\n  Bignum_conflict b;\n  long lVar3;\n  int iVar4;\n  \n  if (0xffffffe < (uint)nbytes) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes");\n  }\n  iVar4 = nbytes + 0xe;\n  if (-1 < nbytes + 7) {\n    iVar4 = nbytes + 7;\n  }\n  b = newbn(iVar4 >> 3);\n  if (nbytes < 1) {\n    iVar4 = nbytes + -1;\n    if (nbytes == 0) goto LAB_001365b3;\n  }\n  else {\n    lVar3 = 1;\n    do {\n      b[lVar3] = 0;\n      lVar3 = lVar3 + 1;\n    } while ((int)lVar3 <= iVar4 >> 3);\n    iVar4 = nbytes + -1;\n  }\n  do {\n    iVar2 = iVar4 + 7;\n    if (-1 < iVar4) {\n      iVar2 = iVar4;\n    }\n    bVar1 = (byte)(iVar4 * 8 >> 0x1f);\n    b[(iVar2 >> 3) + 1] =\n         b[(iVar2 >> 3) + 1] |\n         (ulong)*data << (((char)(iVar4 * 8) + (bVar1 >> 2) & 0x3f) - (bVar1 >> 2) & 0x3f);\n    iVar4 = iVar4 + -1;\n    data = data + 1;\n  } while (iVar4 != -1);\nLAB_001365b3:\n  bn_restore_invariant(b);\n  return b;\n}" { (declaration "byte bVar1;" type_identifier identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "Bignum_conflict b;" type_identifier identifier ;) (declaration "long lVar3;" (sized_type_specifier "long" long) identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (if_statement "if (0xffffffe < (uint)nbytes) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes");\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                    /* WARNING: Subroutine does not return */\n    __assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes");\n  }" { comment (expression_statement "__assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes");" (call_expression "__assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes")" identifier (argument_list "("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes")" ( (string_literal ""nbytes >= 0 && nbytes < INT_MAX/8"" " string_content ") , (string_literal ""sshbn.c"" " string_content ") , number_literal , (string_literal ""bignum_from_bytes"" " string_content ") ))) ;) })) (expression_statement "iVar4 = nbytes + 0xe;" (assignment_expression "iVar4 = nbytes + 0xe" identifier = (binary_expression "nbytes + 0xe" identifier + number_literal)) ;) (if_statement "if (-1 < nbytes + 7) {\n    iVar4 = nbytes + 7;\n  }" if (parenthesized_expression "(-1 < nbytes + 7)" ( (binary_expression "-1 < nbytes + 7" number_literal < (binary_expression "nbytes + 7" identifier + number_literal)) )) (compound_statement "{\n    iVar4 = nbytes + 7;\n  }" { (expression_statement "iVar4 = nbytes + 7;" (assignment_expression "iVar4 = nbytes + 7" identifier = (binary_expression "nbytes + 7" identifier + number_literal)) ;) })) (expression_statement "b = newbn(iVar4 >> 3);" (assignment_expression "b = newbn(iVar4 >> 3)" identifier = (call_expression "newbn(iVar4 >> 3)" identifier (argument_list "(iVar4 >> 3)" ( (binary_expression "iVar4 >> 3" identifier >> number_literal) )))) ;) (if_statement "if (nbytes < 1) {\n    iVar4 = nbytes + -1;\n    if (nbytes == 0) goto LAB_001365b3;\n  }\n  else {\n    lVar3 = 1;\n    do {\n      b[lVar3] = 0;\n      lVar3 = lVar3 + 1;\n    } while ((int)lVar3 <= iVar4 >> 3);\n    iVar4 = nbytes + -1;\n  }" if (parenthesized_expression "(nbytes < 1)" ( (binary_expression "nbytes < 1" identifier < number_literal) )) (compound_statement "{\n    iVar4 = nbytes + -1;\n    if (nbytes == 0) goto LAB_001365b3;\n  }" { (expression_statement "iVar4 = nbytes + -1;" (assignment_expression "iVar4 = nbytes + -1" identifier = (binary_expression "nbytes + -1" identifier + number_literal)) ;) (if_statement "if (nbytes == 0) goto LAB_001365b3;" if (parenthesized_expression "(nbytes == 0)" ( (binary_expression "nbytes == 0" identifier == number_literal) )) (goto_statement "goto LAB_001365b3;" goto statement_identifier ;)) }) (else_clause "else {\n    lVar3 = 1;\n    do {\n      b[lVar3] = 0;\n      lVar3 = lVar3 + 1;\n    } while ((int)lVar3 <= iVar4 >> 3);\n    iVar4 = nbytes + -1;\n  }" else (compound_statement "{\n    lVar3 = 1;\n    do {\n      b[lVar3] = 0;\n      lVar3 = lVar3 + 1;\n    } while ((int)lVar3 <= iVar4 >> 3);\n    iVar4 = nbytes + -1;\n  }" { (expression_statement "lVar3 = 1;" (assignment_expression "lVar3 = 1" identifier = number_literal) ;) (do_statement "do {\n      b[lVar3] = 0;\n      lVar3 = lVar3 + 1;\n    } while ((int)lVar3 <= iVar4 >> 3);" do (compound_statement "{\n      b[lVar3] = 0;\n      lVar3 = lVar3 + 1;\n    }" { (expression_statement "b[lVar3] = 0;" (assignment_expression "b[lVar3] = 0" (subscript_expression "b[lVar3]" identifier [ identifier ]) = number_literal) ;) (expression_statement "lVar3 = lVar3 + 1;" (assignment_expression "lVar3 = lVar3 + 1" identifier = (binary_expression "lVar3 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "((int)lVar3 <= iVar4 >> 3)" ( (binary_expression "(int)lVar3 <= iVar4 >> 3" (cast_expression "(int)lVar3" ( (type_descriptor "int" primitive_type) ) identifier) <= (binary_expression "iVar4 >> 3" identifier >> number_literal)) )) ;) (expression_statement "iVar4 = nbytes + -1;" (assignment_expression "iVar4 = nbytes + -1" identifier = (binary_expression "nbytes + -1" identifier + number_literal)) ;) }))) (do_statement "do {\n    iVar2 = iVar4 + 7;\n    if (-1 < iVar4) {\n      iVar2 = iVar4;\n    }\n    bVar1 = (byte)(iVar4 * 8 >> 0x1f);\n    b[(iVar2 >> 3) + 1] =\n         b[(iVar2 >> 3) + 1] |\n         (ulong)*data << (((char)(iVar4 * 8) + (bVar1 >> 2) & 0x3f) - (bVar1 >> 2) & 0x3f);\n    iVar4 = iVar4 + -1;\n    data = data + 1;\n  } while (iVar4 != -1);" do (compound_statement "{\n    iVar2 = iVar4 + 7;\n    if (-1 < iVar4) {\n      iVar2 = iVar4;\n    }\n    bVar1 = (byte)(iVar4 * 8 >> 0x1f);\n    b[(iVar2 >> 3) + 1] =\n         b[(iVar2 >> 3) + 1] |\n         (ulong)*data << (((char)(iVar4 * 8) + (bVar1 >> 2) & 0x3f) - (bVar1 >> 2) & 0x3f);\n    iVar4 = iVar4 + -1;\n    data = data + 1;\n  }" { (expression_statement "iVar2 = iVar4 + 7;" (assignment_expression "iVar2 = iVar4 + 7" identifier = (binary_expression "iVar4 + 7" identifier + number_literal)) ;) (if_statement "if (-1 < iVar4) {\n      iVar2 = iVar4;\n    }" if (parenthesized_expression "(-1 < iVar4)" ( (binary_expression "-1 < iVar4" number_literal < identifier) )) (compound_statement "{\n      iVar2 = iVar4;\n    }" { (expression_statement "iVar2 = iVar4;" (assignment_expression "iVar2 = iVar4" identifier = identifier) ;) })) (expression_statement "bVar1 = (byte)(iVar4 * 8 >> 0x1f);" (assignment_expression "bVar1 = (byte)(iVar4 * 8 >> 0x1f)" identifier = (call_expression "(byte)(iVar4 * 8 >> 0x1f)" (parenthesized_expression "(byte)" ( identifier )) (argument_list "(iVar4 * 8 >> 0x1f)" ( (binary_expression "iVar4 * 8 >> 0x1f" (binary_expression "iVar4 * 8" identifier * number_literal) >> number_literal) )))) ;) (expression_statement "b[(iVar2 >> 3) + 1] =\n         b[(iVar2 >> 3) + 1] |\n         (ulong)*data << (((char)(iVar4 * 8) + (bVar1 >> 2) & 0x3f) - (bVar1 >> 2) & 0x3f);" (assignment_expression "b[(iVar2 >> 3) + 1] =\n         b[(iVar2 >> 3) + 1] |\n         (ulong)*data << (((char)(iVar4 * 8) + (bVar1 >> 2) & 0x3f) - (bVar1 >> 2) & 0x3f)" (subscript_expression "b[(iVar2 >> 3) + 1]" identifier [ (binary_expression "(iVar2 >> 3) + 1" (parenthesized_expression "(iVar2 >> 3)" ( (binary_expression "iVar2 >> 3" identifier >> number_literal) )) + number_literal) ]) = (binary_expression "b[(iVar2 >> 3) + 1] |\n         (ulong)*data << (((char)(iVar4 * 8) + (bVar1 >> 2) & 0x3f) - (bVar1 >> 2) & 0x3f)" (subscript_expression "b[(iVar2 >> 3) + 1]" identifier [ (binary_expression "(iVar2 >> 3) + 1" (parenthesized_expression "(iVar2 >> 3)" ( (binary_expression "iVar2 >> 3" identifier >> number_literal) )) + number_literal) ]) | (binary_expression "(ulong)*data << (((char)(iVar4 * 8) + (bVar1 >> 2) & 0x3f) - (bVar1 >> 2) & 0x3f)" (binary_expression "(ulong)*data" (parenthesized_expression "(ulong)" ( identifier )) * identifier) << (parenthesized_expression "(((char)(iVar4 * 8) + (bVar1 >> 2) & 0x3f) - (bVar1 >> 2) & 0x3f)" ( (binary_expression "((char)(iVar4 * 8) + (bVar1 >> 2) & 0x3f) - (bVar1 >> 2) & 0x3f" (binary_expression "((char)(iVar4 * 8) + (bVar1 >> 2) & 0x3f) - (bVar1 >> 2)" (parenthesized_expression "((char)(iVar4 * 8) + (bVar1 >> 2) & 0x3f)" ( (binary_expression "(char)(iVar4 * 8) + (bVar1 >> 2) & 0x3f" (binary_expression "(char)(iVar4 * 8) + (bVar1 >> 2)" (cast_expression "(char)(iVar4 * 8)" ( (type_descriptor "char" primitive_type) ) (parenthesized_expression "(iVar4 * 8)" ( (binary_expression "iVar4 * 8" identifier * number_literal) ))) + (parenthesized_expression "(bVar1 >> 2)" ( (binary_expression "bVar1 >> 2" identifier >> number_literal) ))) & number_literal) )) - (parenthesized_expression "(bVar1 >> 2)" ( (binary_expression "bVar1 >> 2" identifier >> number_literal) ))) & number_literal) ))))) ;) (expression_statement "iVar4 = iVar4 + -1;" (assignment_expression "iVar4 = iVar4 + -1" identifier = (binary_expression "iVar4 + -1" identifier + number_literal)) ;) (expression_statement "data = data + 1;" (assignment_expression "data = data + 1" identifier = (binary_expression "data + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar4 != -1)" ( (binary_expression "iVar4 != -1" identifier != number_literal) )) ;) (labeled_statement "LAB_001365b3:\n  bn_restore_invariant(b);" statement_identifier : (expression_statement "bn_restore_invariant(b);" (call_expression "bn_restore_invariant(b)" identifier (argument_list "(b)" ( identifier ))) ;)) (return_statement "return b;" return identifier ;) })))
(translation_unit "long FUN_0013651e(byte *param_1,uint param_2)\n\n{\n  ulong *puVar1;\n  byte bVar2;\n  int iVar3;\n  long lVar4;\n  long lVar5;\n  int iVar6;\n  \n  if (0xffffffe < param_2) {\n                    \n    __assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes");\n  }\n  iVar6 = param_2 + 0xe;\n  if (-1 < (int)(param_2 + 7)) {\n    iVar6 = param_2 + 7;\n  }\n  lVar4 = FUN_0013608a();\n  if ((int)param_2 < 1) {\n    iVar6 = param_2 - 1;\n    if (param_2 == 0) goto LAB_001365b3;\n  }\n  else {\n    lVar5 = 1;\n    do {\n      *(undefined8 *)(lVar4 + lVar5 * 8) = 0;\n      lVar5 = lVar5 + 1;\n    } while ((int)lVar5 <= iVar6 >> 3);\n    iVar6 = param_2 - 1;\n  }\n  do {\n    iVar3 = iVar6 + 7;\n    if (-1 < iVar6) {\n      iVar3 = iVar6;\n    }\n    bVar2 = (byte)(iVar6 * 8 >> 0x1f);\n    puVar1 = (ulong *)(lVar4 + (long)((iVar3 >> 3) + 1) * 8);\n    *puVar1 = *puVar1 | (ulong)*param_1 <<\n                        (((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f);\n    iVar6 = iVar6 + -1;\n    param_1 = param_1 + 1;\n  } while (iVar6 != -1);\nLAB_001365b3:\n  FUN_001360ee(lVar4);\n  return lVar4;\n}\n\n" (function_definition "long FUN_0013651e(byte *param_1,uint param_2)\n\n{\n  ulong *puVar1;\n  byte bVar2;\n  int iVar3;\n  long lVar4;\n  long lVar5;\n  int iVar6;\n  \n  if (0xffffffe < param_2) {\n                    \n    __assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes");\n  }\n  iVar6 = param_2 + 0xe;\n  if (-1 < (int)(param_2 + 7)) {\n    iVar6 = param_2 + 7;\n  }\n  lVar4 = FUN_0013608a();\n  if ((int)param_2 < 1) {\n    iVar6 = param_2 - 1;\n    if (param_2 == 0) goto LAB_001365b3;\n  }\n  else {\n    lVar5 = 1;\n    do {\n      *(undefined8 *)(lVar4 + lVar5 * 8) = 0;\n      lVar5 = lVar5 + 1;\n    } while ((int)lVar5 <= iVar6 >> 3);\n    iVar6 = param_2 - 1;\n  }\n  do {\n    iVar3 = iVar6 + 7;\n    if (-1 < iVar6) {\n      iVar3 = iVar6;\n    }\n    bVar2 = (byte)(iVar6 * 8 >> 0x1f);\n    puVar1 = (ulong *)(lVar4 + (long)((iVar3 >> 3) + 1) * 8);\n    *puVar1 = *puVar1 | (ulong)*param_1 <<\n                        (((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f);\n    iVar6 = iVar6 + -1;\n    param_1 = param_1 + 1;\n  } while (iVar6 != -1);\nLAB_001365b3:\n  FUN_001360ee(lVar4);\n  return lVar4;\n}" (sized_type_specifier "long" long) (function_declarator "FUN_0013651e(byte *param_1,uint param_2)" identifier (parameter_list "(byte *param_1,uint param_2)" ( (parameter_declaration "byte *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint param_2" type_identifier identifier) ))) (compound_statement "{\n  ulong *puVar1;\n  byte bVar2;\n  int iVar3;\n  long lVar4;\n  long lVar5;\n  int iVar6;\n  \n  if (0xffffffe < param_2) {\n                    \n    __assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes");\n  }\n  iVar6 = param_2 + 0xe;\n  if (-1 < (int)(param_2 + 7)) {\n    iVar6 = param_2 + 7;\n  }\n  lVar4 = FUN_0013608a();\n  if ((int)param_2 < 1) {\n    iVar6 = param_2 - 1;\n    if (param_2 == 0) goto LAB_001365b3;\n  }\n  else {\n    lVar5 = 1;\n    do {\n      *(undefined8 *)(lVar4 + lVar5 * 8) = 0;\n      lVar5 = lVar5 + 1;\n    } while ((int)lVar5 <= iVar6 >> 3);\n    iVar6 = param_2 - 1;\n  }\n  do {\n    iVar3 = iVar6 + 7;\n    if (-1 < iVar6) {\n      iVar3 = iVar6;\n    }\n    bVar2 = (byte)(iVar6 * 8 >> 0x1f);\n    puVar1 = (ulong *)(lVar4 + (long)((iVar3 >> 3) + 1) * 8);\n    *puVar1 = *puVar1 | (ulong)*param_1 <<\n                        (((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f);\n    iVar6 = iVar6 + -1;\n    param_1 = param_1 + 1;\n  } while (iVar6 != -1);\nLAB_001365b3:\n  FUN_001360ee(lVar4);\n  return lVar4;\n}" { (declaration "ulong *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "byte bVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "long lVar4;" (sized_type_specifier "long" long) identifier ;) (declaration "long lVar5;" (sized_type_specifier "long" long) identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (if_statement "if (0xffffffe < param_2) {\n                    \n    __assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes");\n  }" if (parenthesized_expression "(0xffffffe < param_2)" ( (binary_expression "0xffffffe < param_2" number_literal < identifier) )) (compound_statement "{\n                    \n    __assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes");\n  }" { (expression_statement "__assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes");" (call_expression "__assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes")" identifier (argument_list "("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes")" ( (string_literal ""nbytes >= 0 && nbytes < INT_MAX/8"" " string_content ") , (string_literal ""sshbn.c"" " string_content ") , number_literal , (string_literal ""bignum_from_bytes"" " string_content ") ))) ;) })) (expression_statement "iVar6 = param_2 + 0xe;" (assignment_expression "iVar6 = param_2 + 0xe" identifier = (binary_expression "param_2 + 0xe" identifier + number_literal)) ;) (if_statement "if (-1 < (int)(param_2 + 7)) {\n    iVar6 = param_2 + 7;\n  }" if (parenthesized_expression "(-1 < (int)(param_2 + 7))" ( (binary_expression "-1 < (int)(param_2 + 7)" number_literal < (cast_expression "(int)(param_2 + 7)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "(param_2 + 7)" ( (binary_expression "param_2 + 7" identifier + number_literal) )))) )) (compound_statement "{\n    iVar6 = param_2 + 7;\n  }" { (expression_statement "iVar6 = param_2 + 7;" (assignment_expression "iVar6 = param_2 + 7" identifier = (binary_expression "param_2 + 7" identifier + number_literal)) ;) })) (expression_statement "lVar4 = FUN_0013608a();" (assignment_expression "lVar4 = FUN_0013608a()" identifier = (call_expression "FUN_0013608a()" identifier (argument_list "()" ( )))) ;) (if_statement "if ((int)param_2 < 1) {\n    iVar6 = param_2 - 1;\n    if (param_2 == 0) goto LAB_001365b3;\n  }\n  else {\n    lVar5 = 1;\n    do {\n      *(undefined8 *)(lVar4 + lVar5 * 8) = 0;\n      lVar5 = lVar5 + 1;\n    } while ((int)lVar5 <= iVar6 >> 3);\n    iVar6 = param_2 - 1;\n  }" if (parenthesized_expression "((int)param_2 < 1)" ( (binary_expression "(int)param_2 < 1" (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier) < number_literal) )) (compound_statement "{\n    iVar6 = param_2 - 1;\n    if (param_2 == 0) goto LAB_001365b3;\n  }" { (expression_statement "iVar6 = param_2 - 1;" (assignment_expression "iVar6 = param_2 - 1" identifier = (binary_expression "param_2 - 1" identifier - number_literal)) ;) (if_statement "if (param_2 == 0) goto LAB_001365b3;" if (parenthesized_expression "(param_2 == 0)" ( (binary_expression "param_2 == 0" identifier == number_literal) )) (goto_statement "goto LAB_001365b3;" goto statement_identifier ;)) }) (else_clause "else {\n    lVar5 = 1;\n    do {\n      *(undefined8 *)(lVar4 + lVar5 * 8) = 0;\n      lVar5 = lVar5 + 1;\n    } while ((int)lVar5 <= iVar6 >> 3);\n    iVar6 = param_2 - 1;\n  }" else (compound_statement "{\n    lVar5 = 1;\n    do {\n      *(undefined8 *)(lVar4 + lVar5 * 8) = 0;\n      lVar5 = lVar5 + 1;\n    } while ((int)lVar5 <= iVar6 >> 3);\n    iVar6 = param_2 - 1;\n  }" { (expression_statement "lVar5 = 1;" (assignment_expression "lVar5 = 1" identifier = number_literal) ;) (do_statement "do {\n      *(undefined8 *)(lVar4 + lVar5 * 8) = 0;\n      lVar5 = lVar5 + 1;\n    } while ((int)lVar5 <= iVar6 >> 3);" do (compound_statement "{\n      *(undefined8 *)(lVar4 + lVar5 * 8) = 0;\n      lVar5 = lVar5 + 1;\n    }" { (expression_statement "*(undefined8 *)(lVar4 + lVar5 * 8) = 0;" (assignment_expression "*(undefined8 *)(lVar4 + lVar5 * 8) = 0" (pointer_expression "*(undefined8 *)(lVar4 + lVar5 * 8)" * (cast_expression "(undefined8 *)(lVar4 + lVar5 * 8)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(lVar4 + lVar5 * 8)" ( (binary_expression "lVar4 + lVar5 * 8" identifier + (binary_expression "lVar5 * 8" identifier * number_literal)) )))) = number_literal) ;) (expression_statement "lVar5 = lVar5 + 1;" (assignment_expression "lVar5 = lVar5 + 1" identifier = (binary_expression "lVar5 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "((int)lVar5 <= iVar6 >> 3)" ( (binary_expression "(int)lVar5 <= iVar6 >> 3" (cast_expression "(int)lVar5" ( (type_descriptor "int" primitive_type) ) identifier) <= (binary_expression "iVar6 >> 3" identifier >> number_literal)) )) ;) (expression_statement "iVar6 = param_2 - 1;" (assignment_expression "iVar6 = param_2 - 1" identifier = (binary_expression "param_2 - 1" identifier - number_literal)) ;) }))) (do_statement "do {\n    iVar3 = iVar6 + 7;\n    if (-1 < iVar6) {\n      iVar3 = iVar6;\n    }\n    bVar2 = (byte)(iVar6 * 8 >> 0x1f);\n    puVar1 = (ulong *)(lVar4 + (long)((iVar3 >> 3) + 1) * 8);\n    *puVar1 = *puVar1 | (ulong)*param_1 <<\n                        (((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f);\n    iVar6 = iVar6 + -1;\n    param_1 = param_1 + 1;\n  } while (iVar6 != -1);" do (compound_statement "{\n    iVar3 = iVar6 + 7;\n    if (-1 < iVar6) {\n      iVar3 = iVar6;\n    }\n    bVar2 = (byte)(iVar6 * 8 >> 0x1f);\n    puVar1 = (ulong *)(lVar4 + (long)((iVar3 >> 3) + 1) * 8);\n    *puVar1 = *puVar1 | (ulong)*param_1 <<\n                        (((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f);\n    iVar6 = iVar6 + -1;\n    param_1 = param_1 + 1;\n  }" { (expression_statement "iVar3 = iVar6 + 7;" (assignment_expression "iVar3 = iVar6 + 7" identifier = (binary_expression "iVar6 + 7" identifier + number_literal)) ;) (if_statement "if (-1 < iVar6) {\n      iVar3 = iVar6;\n    }" if (parenthesized_expression "(-1 < iVar6)" ( (binary_expression "-1 < iVar6" number_literal < identifier) )) (compound_statement "{\n      iVar3 = iVar6;\n    }" { (expression_statement "iVar3 = iVar6;" (assignment_expression "iVar3 = iVar6" identifier = identifier) ;) })) (expression_statement "bVar2 = (byte)(iVar6 * 8 >> 0x1f);" (assignment_expression "bVar2 = (byte)(iVar6 * 8 >> 0x1f)" identifier = (call_expression "(byte)(iVar6 * 8 >> 0x1f)" (parenthesized_expression "(byte)" ( identifier )) (argument_list "(iVar6 * 8 >> 0x1f)" ( (binary_expression "iVar6 * 8 >> 0x1f" (binary_expression "iVar6 * 8" identifier * number_literal) >> number_literal) )))) ;) (expression_statement "puVar1 = (ulong *)(lVar4 + (long)((iVar3 >> 3) + 1) * 8);" (assignment_expression "puVar1 = (ulong *)(lVar4 + (long)((iVar3 >> 3) + 1) * 8)" identifier = (cast_expression "(ulong *)(lVar4 + (long)((iVar3 >> 3) + 1) * 8)" ( (type_descriptor "ulong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(lVar4 + (long)((iVar3 >> 3) + 1) * 8)" ( (binary_expression "lVar4 + (long)((iVar3 >> 3) + 1) * 8" identifier + (binary_expression "(long)((iVar3 >> 3) + 1) * 8" (cast_expression "(long)((iVar3 >> 3) + 1)" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) (parenthesized_expression "((iVar3 >> 3) + 1)" ( (binary_expression "(iVar3 >> 3) + 1" (parenthesized_expression "(iVar3 >> 3)" ( (binary_expression "iVar3 >> 3" identifier >> number_literal) )) + number_literal) ))) * number_literal)) )))) ;) (expression_statement "*puVar1 = *puVar1 | (ulong)*param_1 <<\n                        (((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f);" (assignment_expression "*puVar1 = *puVar1 | (ulong)*param_1 <<\n                        (((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f)" (pointer_expression "*puVar1" * identifier) = (binary_expression "*puVar1 | (ulong)*param_1 <<\n                        (((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f)" (pointer_expression "*puVar1" * identifier) | (binary_expression "(ulong)*param_1 <<\n                        (((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f)" (binary_expression "(ulong)*param_1" (parenthesized_expression "(ulong)" ( identifier )) * identifier) << (parenthesized_expression "(((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f)" ( (binary_expression "((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f" (binary_expression "((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2)" (parenthesized_expression "((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f)" ( (binary_expression "(char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f" (binary_expression "(char)(iVar6 * 8) + (bVar2 >> 2)" (cast_expression "(char)(iVar6 * 8)" ( (type_descriptor "char" primitive_type) ) (parenthesized_expression "(iVar6 * 8)" ( (binary_expression "iVar6 * 8" identifier * number_literal) ))) + (parenthesized_expression "(bVar2 >> 2)" ( (binary_expression "bVar2 >> 2" identifier >> number_literal) ))) & number_literal) )) - (parenthesized_expression "(bVar2 >> 2)" ( (binary_expression "bVar2 >> 2" identifier >> number_literal) ))) & number_literal) ))))) ;) (expression_statement "iVar6 = iVar6 + -1;" (assignment_expression "iVar6 = iVar6 + -1" identifier = (binary_expression "iVar6 + -1" identifier + number_literal)) ;) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar6 != -1)" ( (binary_expression "iVar6 != -1" identifier != number_literal) )) ;) (labeled_statement "LAB_001365b3:\n  FUN_001360ee(lVar4);" statement_identifier : (expression_statement "FUN_001360ee(lVar4);" (call_expression "FUN_001360ee(lVar4)" identifier (argument_list "(lVar4)" ( identifier ))) ;)) (return_statement "return lVar4;" return identifier ;) })))
(translation_unit (function_definition (sized_type_specifier long) (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration (sized_type_specifier long) IDENT ;) (declaration (sized_type_specifier long) IDENT ;) (declaration TYPE IDENT ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") , (string_literal " string_content ") , LIT , (string_literal " string_content ") ))) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) })) (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( )))) ;) (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) < LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (goto_statement goto statement_identifier ;)) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + (binary_expression IDENT * LIT)) )))) = LIT) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) <= (binary_expression IDENT >> LIT)) )) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) }))) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) })) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (binary_expression IDENT * LIT) >> LIT) )))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + (binary_expression (cast_expression ( (type_descriptor (sized_type_specifier long)) ) (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT >> LIT) )) + LIT) ))) * LIT)) )))) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression (pointer_expression * IDENT) | (binary_expression (binary_expression (parenthesized_expression ( IDENT )) * IDENT) << (parenthesized_expression ( (binary_expression (binary_expression (parenthesized_expression ( (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression IDENT * LIT) ))) + (parenthesized_expression ( (binary_expression IDENT >> LIT) ))) & LIT) )) - (parenthesized_expression ( (binary_expression IDENT >> LIT) ))) & LIT) ))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT != LIT) )) ;) (labeled_statement statement_identifier : (expression_statement (call_expression IDENT (argument_list ( IDENT ))) ;)) (return_statement return IDENT ;) })))
(function_definition "long FUN_0013651e(byte *param_1,uint param_2)\n\n{\n  ulong *puVar1;\n  byte bVar2;\n  int iVar3;\n  long lVar4;\n  long lVar5;\n  int iVar6;\n  \n  if (0xffffffe < param_2) {\n                    \n    __assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes");\n  }\n  iVar6 = param_2 + 0xe;\n  if (-1 < (int)(param_2 + 7)) {\n    iVar6 = param_2 + 7;\n  }\n  lVar4 = FUN_0013608a();\n  if ((int)param_2 < 1) {\n    iVar6 = param_2 - 1;\n    if (param_2 == 0) goto LAB_001365b3;\n  }\n  else {\n    lVar5 = 1;\n    do {\n      *(undefined8 *)(lVar4 + lVar5 * 8) = 0;\n      lVar5 = lVar5 + 1;\n    } while ((int)lVar5 <= iVar6 >> 3);\n    iVar6 = param_2 - 1;\n  }\n  do {\n    iVar3 = iVar6 + 7;\n    if (-1 < iVar6) {\n      iVar3 = iVar6;\n    }\n    bVar2 = (byte)(iVar6 * 8 >> 0x1f);\n    puVar1 = (ulong *)(lVar4 + (long)((iVar3 >> 3) + 1) * 8);\n    *puVar1 = *puVar1 | (ulong)*param_1 <<\n                        (((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f);\n    iVar6 = iVar6 + -1;\n    param_1 = param_1 + 1;\n  } while (iVar6 != -1);\nLAB_001365b3:\n  FUN_001360ee(lVar4);\n  return lVar4;\n}" (sized_type_specifier "long" (long "long")) (function_declarator "FUN_0013651e(byte *param_1,uint param_2)" (identifier "FUN_0013651e") (parameter_list "(byte *param_1,uint param_2)" (( "(") (parameter_declaration "byte *param_1" (type_identifier "byte") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "uint param_2" (type_identifier "uint") (identifier "param_2")) () ")"))) (compound_statement "{\n  ulong *puVar1;\n  byte bVar2;\n  int iVar3;\n  long lVar4;\n  long lVar5;\n  int iVar6;\n  \n  if (0xffffffe < param_2) {\n                    \n    __assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes");\n  }\n  iVar6 = param_2 + 0xe;\n  if (-1 < (int)(param_2 + 7)) {\n    iVar6 = param_2 + 7;\n  }\n  lVar4 = FUN_0013608a();\n  if ((int)param_2 < 1) {\n    iVar6 = param_2 - 1;\n    if (param_2 == 0) goto LAB_001365b3;\n  }\n  else {\n    lVar5 = 1;\n    do {\n      *(undefined8 *)(lVar4 + lVar5 * 8) = 0;\n      lVar5 = lVar5 + 1;\n    } while ((int)lVar5 <= iVar6 >> 3);\n    iVar6 = param_2 - 1;\n  }\n  do {\n    iVar3 = iVar6 + 7;\n    if (-1 < iVar6) {\n      iVar3 = iVar6;\n    }\n    bVar2 = (byte)(iVar6 * 8 >> 0x1f);\n    puVar1 = (ulong *)(lVar4 + (long)((iVar3 >> 3) + 1) * 8);\n    *puVar1 = *puVar1 | (ulong)*param_1 <<\n                        (((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f);\n    iVar6 = iVar6 + -1;\n    param_1 = param_1 + 1;\n  } while (iVar6 != -1);\nLAB_001365b3:\n  FUN_001360ee(lVar4);\n  return lVar4;\n}" ({ "{") (declaration "ulong *puVar1;" (type_identifier "ulong") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (declaration "byte bVar2;" (type_identifier "byte") (identifier "bVar2") (; ";")) (declaration "int iVar3;" (primitive_type "int") (identifier "iVar3") (; ";")) (declaration "long lVar4;" (sized_type_specifier "long" (long "long")) (identifier "lVar4") (; ";")) (declaration "long lVar5;" (sized_type_specifier "long" (long "long")) (identifier "lVar5") (; ";")) (declaration "int iVar6;" (primitive_type "int") (identifier "iVar6") (; ";")) (if_statement "if (0xffffffe < param_2) {\n                    \n    __assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes");\n  }" (if "if") (parenthesized_expression "(0xffffffe < param_2)" (( "(") (binary_expression "0xffffffe < param_2" (number_literal "0xffffffe") (< "<") (identifier "param_2")) () ")")) (compound_statement "{\n                    \n    __assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes");\n  }" ({ "{") (expression_statement "__assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes");" (call_expression "__assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes")" (identifier "__assert_fail") (argument_list "("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes")" (( "(") (string_literal ""nbytes >= 0 && nbytes < INT_MAX/8"" (" """) (string_content "nbytes >= 0 && nbytes < INT_MAX/8") (" """)) (, ",") (string_literal ""sshbn.c"" (" """) (string_content "sshbn.c") (" """)) (, ",") (number_literal "0x584") (, ",") (string_literal ""bignum_from_bytes"" (" """) (string_content "bignum_from_bytes") (" """)) () ")"))) (; ";")) (} "}"))) (expression_statement "iVar6 = param_2 + 0xe;" (assignment_expression "iVar6 = param_2 + 0xe" (identifier "iVar6") (= "=") (binary_expression "param_2 + 0xe" (identifier "param_2") (+ "+") (number_literal "0xe"))) (; ";")) (if_statement "if (-1 < (int)(param_2 + 7)) {\n    iVar6 = param_2 + 7;\n  }" (if "if") (parenthesized_expression "(-1 < (int)(param_2 + 7))" (( "(") (binary_expression "-1 < (int)(param_2 + 7)" (number_literal "-1") (< "<") (cast_expression "(int)(param_2 + 7)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "(param_2 + 7)" (( "(") (binary_expression "param_2 + 7" (identifier "param_2") (+ "+") (number_literal "7")) () ")")))) () ")")) (compound_statement "{\n    iVar6 = param_2 + 7;\n  }" ({ "{") (expression_statement "iVar6 = param_2 + 7;" (assignment_expression "iVar6 = param_2 + 7" (identifier "iVar6") (= "=") (binary_expression "param_2 + 7" (identifier "param_2") (+ "+") (number_literal "7"))) (; ";")) (} "}"))) (expression_statement "lVar4 = FUN_0013608a();" (assignment_expression "lVar4 = FUN_0013608a()" (identifier "lVar4") (= "=") (call_expression "FUN_0013608a()" (identifier "FUN_0013608a") (argument_list "()" (( "(") () ")")))) (; ";")) (if_statement "if ((int)param_2 < 1) {\n    iVar6 = param_2 - 1;\n    if (param_2 == 0) goto LAB_001365b3;\n  }\n  else {\n    lVar5 = 1;\n    do {\n      *(undefined8 *)(lVar4 + lVar5 * 8) = 0;\n      lVar5 = lVar5 + 1;\n    } while ((int)lVar5 <= iVar6 >> 3);\n    iVar6 = param_2 - 1;\n  }" (if "if") (parenthesized_expression "((int)param_2 < 1)" (( "(") (binary_expression "(int)param_2 < 1" (cast_expression "(int)param_2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_2")) (< "<") (number_literal "1")) () ")")) (compound_statement "{\n    iVar6 = param_2 - 1;\n    if (param_2 == 0) goto LAB_001365b3;\n  }" ({ "{") (expression_statement "iVar6 = param_2 - 1;" (assignment_expression "iVar6 = param_2 - 1" (identifier "iVar6") (= "=") (binary_expression "param_2 - 1" (identifier "param_2") (- "-") (number_literal "1"))) (; ";")) (if_statement "if (param_2 == 0) goto LAB_001365b3;" (if "if") (parenthesized_expression "(param_2 == 0)" (( "(") (binary_expression "param_2 == 0" (identifier "param_2") (== "==") (number_literal "0")) () ")")) (goto_statement "goto LAB_001365b3;" (goto "goto") (statement_identifier "LAB_001365b3") (; ";"))) (} "}")) (else_clause "else {\n    lVar5 = 1;\n    do {\n      *(undefined8 *)(lVar4 + lVar5 * 8) = 0;\n      lVar5 = lVar5 + 1;\n    } while ((int)lVar5 <= iVar6 >> 3);\n    iVar6 = param_2 - 1;\n  }" (else "else") (compound_statement "{\n    lVar5 = 1;\n    do {\n      *(undefined8 *)(lVar4 + lVar5 * 8) = 0;\n      lVar5 = lVar5 + 1;\n    } while ((int)lVar5 <= iVar6 >> 3);\n    iVar6 = param_2 - 1;\n  }" ({ "{") (expression_statement "lVar5 = 1;" (assignment_expression "lVar5 = 1" (identifier "lVar5") (= "=") (number_literal "1")) (; ";")) (do_statement "do {\n      *(undefined8 *)(lVar4 + lVar5 * 8) = 0;\n      lVar5 = lVar5 + 1;\n    } while ((int)lVar5 <= iVar6 >> 3);" (do "do") (compound_statement "{\n      *(undefined8 *)(lVar4 + lVar5 * 8) = 0;\n      lVar5 = lVar5 + 1;\n    }" ({ "{") (expression_statement "*(undefined8 *)(lVar4 + lVar5 * 8) = 0;" (assignment_expression "*(undefined8 *)(lVar4 + lVar5 * 8) = 0" (pointer_expression "*(undefined8 *)(lVar4 + lVar5 * 8)" (* "*") (cast_expression "(undefined8 *)(lVar4 + lVar5 * 8)" (( "(") (type_descriptor "undefined8 *" (type_identifier "undefined8") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(lVar4 + lVar5 * 8)" (( "(") (binary_expression "lVar4 + lVar5 * 8" (identifier "lVar4") (+ "+") (binary_expression "lVar5 * 8" (identifier "lVar5") (* "*") (number_literal "8"))) () ")")))) (= "=") (number_literal "0")) (; ";")) (expression_statement "lVar5 = lVar5 + 1;" (assignment_expression "lVar5 = lVar5 + 1" (identifier "lVar5") (= "=") (binary_expression "lVar5 + 1" (identifier "lVar5") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "((int)lVar5 <= iVar6 >> 3)" (( "(") (binary_expression "(int)lVar5 <= iVar6 >> 3" (cast_expression "(int)lVar5" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "lVar5")) (<= "<=") (binary_expression "iVar6 >> 3" (identifier "iVar6") (>> ">>") (number_literal "3"))) () ")")) (; ";")) (expression_statement "iVar6 = param_2 - 1;" (assignment_expression "iVar6 = param_2 - 1" (identifier "iVar6") (= "=") (binary_expression "param_2 - 1" (identifier "param_2") (- "-") (number_literal "1"))) (; ";")) (} "}")))) (do_statement "do {\n    iVar3 = iVar6 + 7;\n    if (-1 < iVar6) {\n      iVar3 = iVar6;\n    }\n    bVar2 = (byte)(iVar6 * 8 >> 0x1f);\n    puVar1 = (ulong *)(lVar4 + (long)((iVar3 >> 3) + 1) * 8);\n    *puVar1 = *puVar1 | (ulong)*param_1 <<\n                        (((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f);\n    iVar6 = iVar6 + -1;\n    param_1 = param_1 + 1;\n  } while (iVar6 != -1);" (do "do") (compound_statement "{\n    iVar3 = iVar6 + 7;\n    if (-1 < iVar6) {\n      iVar3 = iVar6;\n    }\n    bVar2 = (byte)(iVar6 * 8 >> 0x1f);\n    puVar1 = (ulong *)(lVar4 + (long)((iVar3 >> 3) + 1) * 8);\n    *puVar1 = *puVar1 | (ulong)*param_1 <<\n                        (((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f);\n    iVar6 = iVar6 + -1;\n    param_1 = param_1 + 1;\n  }" ({ "{") (expression_statement "iVar3 = iVar6 + 7;" (assignment_expression "iVar3 = iVar6 + 7" (identifier "iVar3") (= "=") (binary_expression "iVar6 + 7" (identifier "iVar6") (+ "+") (number_literal "7"))) (; ";")) (if_statement "if (-1 < iVar6) {\n      iVar3 = iVar6;\n    }" (if "if") (parenthesized_expression "(-1 < iVar6)" (( "(") (binary_expression "-1 < iVar6" (number_literal "-1") (< "<") (identifier "iVar6")) () ")")) (compound_statement "{\n      iVar3 = iVar6;\n    }" ({ "{") (expression_statement "iVar3 = iVar6;" (assignment_expression "iVar3 = iVar6" (identifier "iVar3") (= "=") (identifier "iVar6")) (; ";")) (} "}"))) (expression_statement "bVar2 = (byte)(iVar6 * 8 >> 0x1f);" (assignment_expression "bVar2 = (byte)(iVar6 * 8 >> 0x1f)" (identifier "bVar2") (= "=") (call_expression "(byte)(iVar6 * 8 >> 0x1f)" (parenthesized_expression "(byte)" (( "(") (identifier "byte") () ")")) (argument_list "(iVar6 * 8 >> 0x1f)" (( "(") (binary_expression "iVar6 * 8 >> 0x1f" (binary_expression "iVar6 * 8" (identifier "iVar6") (* "*") (number_literal "8")) (>> ">>") (number_literal "0x1f")) () ")")))) (; ";")) (expression_statement "puVar1 = (ulong *)(lVar4 + (long)((iVar3 >> 3) + 1) * 8);" (assignment_expression "puVar1 = (ulong *)(lVar4 + (long)((iVar3 >> 3) + 1) * 8)" (identifier "puVar1") (= "=") (cast_expression "(ulong *)(lVar4 + (long)((iVar3 >> 3) + 1) * 8)" (( "(") (type_descriptor "ulong *" (type_identifier "ulong") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(lVar4 + (long)((iVar3 >> 3) + 1) * 8)" (( "(") (binary_expression "lVar4 + (long)((iVar3 >> 3) + 1) * 8" (identifier "lVar4") (+ "+") (binary_expression "(long)((iVar3 >> 3) + 1) * 8" (cast_expression "(long)((iVar3 >> 3) + 1)" (( "(") (type_descriptor "long" (sized_type_specifier "long" (long "long"))) () ")") (parenthesized_expression "((iVar3 >> 3) + 1)" (( "(") (binary_expression "(iVar3 >> 3) + 1" (parenthesized_expression "(iVar3 >> 3)" (( "(") (binary_expression "iVar3 >> 3" (identifier "iVar3") (>> ">>") (number_literal "3")) () ")")) (+ "+") (number_literal "1")) () ")"))) (* "*") (number_literal "8"))) () ")")))) (; ";")) (expression_statement "*puVar1 = *puVar1 | (ulong)*param_1 <<\n                        (((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f);" (assignment_expression "*puVar1 = *puVar1 | (ulong)*param_1 <<\n                        (((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f)" (pointer_expression "*puVar1" (* "*") (identifier "puVar1")) (= "=") (binary_expression "*puVar1 | (ulong)*param_1 <<\n                        (((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f)" (pointer_expression "*puVar1" (* "*") (identifier "puVar1")) (| "|") (binary_expression "(ulong)*param_1 <<\n                        (((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f)" (binary_expression "(ulong)*param_1" (parenthesized_expression "(ulong)" (( "(") (identifier "ulong") () ")")) (* "*") (identifier "param_1")) (<< "<<") (parenthesized_expression "(((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f)" (( "(") (binary_expression "((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f" (binary_expression "((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2)" (parenthesized_expression "((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f)" (( "(") (binary_expression "(char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f" (binary_expression "(char)(iVar6 * 8) + (bVar2 >> 2)" (cast_expression "(char)(iVar6 * 8)" (( "(") (type_descriptor "char" (primitive_type "char")) () ")") (parenthesized_expression "(iVar6 * 8)" (( "(") (binary_expression "iVar6 * 8" (identifier "iVar6") (* "*") (number_literal "8")) () ")"))) (+ "+") (parenthesized_expression "(bVar2 >> 2)" (( "(") (binary_expression "bVar2 >> 2" (identifier "bVar2") (>> ">>") (number_literal "2")) () ")"))) (& "&") (number_literal "0x3f")) () ")")) (- "-") (parenthesized_expression "(bVar2 >> 2)" (( "(") (binary_expression "bVar2 >> 2" (identifier "bVar2") (>> ">>") (number_literal "2")) () ")"))) (& "&") (number_literal "0x3f")) () ")"))))) (; ";")) (expression_statement "iVar6 = iVar6 + -1;" (assignment_expression "iVar6 = iVar6 + -1" (identifier "iVar6") (= "=") (binary_expression "iVar6 + -1" (identifier "iVar6") (+ "+") (number_literal "-1"))) (; ";")) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" (identifier "param_1") (= "=") (binary_expression "param_1 + 1" (identifier "param_1") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(iVar6 != -1)" (( "(") (binary_expression "iVar6 != -1" (identifier "iVar6") (!= "!=") (number_literal "-1")) () ")")) (; ";")) (labeled_statement "LAB_001365b3:\n  FUN_001360ee(lVar4);" (statement_identifier "LAB_001365b3") (: ":") (expression_statement "FUN_001360ee(lVar4);" (call_expression "FUN_001360ee(lVar4)" (identifier "FUN_001360ee") (argument_list "(lVar4)" (( "(") (identifier "lVar4") () ")"))) (; ";"))) (return_statement "return lVar4;" (return "return") (identifier "lVar4") (; ";")) (} "}")))

type_1 function_1(type_2 *var_7,int var_2)

{
  type_3 var_8;
  int var_6;
  type_1 b;
  long var_5;
  int var_4;
  
  if (0xffffffe < (type_4)var_2) {
                    /* WARNING: Subroutine does not return */
    var_1("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes");
  }
  var_4 = var_2 + 0xe;
  if (-1 < var_2 + 7) {
    var_4 = var_2 + 7;
  }
  b = var_3(var_4 >> 3);
  if (var_2 < 1) {
    var_4 = var_2 + -1;
    if (var_2 == 0) goto LAB_001365b3;
  }
  else {
    var_5 = 1;
    do {
      b[var_5] = 0;
      var_5 = var_5 + 1;
    } while ((int)var_5 <= var_4 >> 3);
    var_4 = var_2 + -1;
  }
  do {
    var_6 = var_4 + 7;
    if (-1 < var_4) {
      var_6 = var_4;
    }
    var_8 = (type_3)(var_4 * 8 >> 0x1f);
    b[(var_6 >> 3) + 1] =
         b[(var_6 >> 3) + 1] |
         (ulong)*var_7 << (((char)(var_4 * 8) + (var_8 >> 2) & 0x3f) - (var_8 >> 2) & 0x3f);
    var_4 = var_4 + -1;
    var_7 = var_7 + 1;
  } while (var_4 != -1);
LAB_001365b3:
  var_9(b);
  return b;
}


(translation_unit (function_definition type: (sized_type_specifier) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (type_identifier) declarator: (pointer_declarator 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: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (sized_type_specifier) declarator: (identifier)) (declaration type: (sized_type_specifier) 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 (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)) (string_literal (string_content)) (number_literal) (string_literal (string_content))))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (number_literal) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))))) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (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 (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (goto_statement label: (statement_identifier)))) alternative: (else_clause (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (do_statement body: (compound_statement (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (binary_expression left: (identifier) right: (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: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)) right: (binary_expression left: (identifier) right: (number_literal))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))))) (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (number_literal) right: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (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: (parenthesized_expression (binary_expression left: (identifier) right: (binary_expression left: (cast_expression type: (type_descriptor type: (sized_type_specifier)) value: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (number_literal)))) right: (number_literal))))))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (binary_expression left: (pointer_expression argument: (identifier)) right: (binary_expression left: (binary_expression left: (parenthesized_expression (identifier)) right: (identifier)) right: (parenthesized_expression (binary_expression left: (binary_expression left: (parenthesized_expression (binary_expression left: (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))) right: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))) right: (number_literal))) right: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))) right: (number_literal))))))) (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))))) condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))) (labeled_statement label: (statement_identifier) (expression_statement (call_expression function: (identifier) arguments: (argument_list (identifier))))) (return_statement (identifier)))))

long MASKED(byte *param_1,uint param_2)

{
  ulong *puVar1;
  byte bVar2;
  int iVar3;
  long lVar4;
  long lVar5;
  int iVar6;
  
  if (0xffffffe < param_2) {
                    /* WARNING: Subroutine does not return */
    __assert_fail("nbytes >= 0 && nbytes < INT_MAX/8","sshbn.c",0x584,"bignum_from_bytes");
  }
  iVar6 = param_2 + 0xe;
  if (-1 < (int)(param_2 + 7)) {
    iVar6 = param_2 + 7;
  }
  lVar4 = FUN_0013608a();
  if ((int)param_2 < 1) {
    iVar6 = param_2 - 1;
    if (param_2 == 0) goto LAB_001365b3;
  }
  else {
    lVar5 = 1;
    do {
      *(undefined8 *)(lVar4 + lVar5 * 8) = 0;
      lVar5 = lVar5 + 1;
    } while ((int)lVar5 <= iVar6 >> 3);
    iVar6 = param_2 - 1;
  }
  do {
    iVar3 = iVar6 + 7;
    if (-1 < iVar6) {
      iVar3 = iVar6;
    }
    bVar2 = (byte)(iVar6 * 8 >> 0x1f);
    puVar1 = (ulong *)(lVar4 + (long)((iVar3 >> 3) + 1) * 8);
    *puVar1 = *puVar1 | (ulong)*param_1 <<
                        (((char)(iVar6 * 8) + (bVar2 >> 2) & 0x3f) - (bVar2 >> 2) & 0x3f);
    iVar6 = iVar6 + -1;
    param_1 = param_1 + 1;
  } while (iVar6 != -1);
LAB_001365b3:
  FUN_001360ee(lVar4);
  return lVar4;
}

