
int sober128_export(uchar *out,ulong *outlen,prng_state *prng)

{
  ulong uVar1;
  int iVar2;
  
  if (prng == (prng_state *)0x0) {
                    /* WARNING: Subroutine does not return */
    crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f);
  }
  if (out == (uchar *)0x0) {
                    /* WARNING: Subroutine does not return */
    crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0);
  }
  if (outlen == (ulong *)0x0) {
                    /* WARNING: Subroutine does not return */
    crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1);
  }
  if (0x27 < *outlen) {
    uVar1 = sober128_read(out,0x28,prng);
    iVar2 = 9;
    if (uVar1 == 0x28) {
      *outlen = 0x28;
      iVar2 = 0;
    }
    return iVar2;
  }
  *outlen = 0x28;
  return 6;
}



undefined8 sober128_export(long param_1,ulong *param_2,long param_3)

{
  long lVar1;
  undefined8 uVar2;
  
  if (param_3 == 0) {
                    /* WARNING: Subroutine does not return */
    crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f);
  }
  if (param_1 == 0) {
                    /* WARNING: Subroutine does not return */
    crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0);
  }
  if (param_2 == (ulong *)0x0) {
                    /* WARNING: Subroutine does not return */
    crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1);
  }
  if (0x27 < *param_2) {
    lVar1 = sober128_read(param_1,0x28);
    uVar2 = 9;
    if (lVar1 == 0x28) {
      *param_2 = 0x28;
      uVar2 = 0;
    }
    return uVar2;
  }
  *param_2 = 0x28;
  return 6;
}


PUSH RBX
TEST RDX,RDX
JZ 0x00188800
TEST RDI,RDI
JZ 0x001887e8
MOV RBX,RSI
TEST RSI,RSI
JZ 0x001887d0
CMP qword ptr [RSI],0x27
JBE 0x001887c0
MOV ESI,0x28
CALL 0x00114c10
MOV EDX,0x9
CMP RAX,0x28
JNZ 0x001887b7
MOV qword ptr [RBX],0x28
XOR EDX,EDX
MOV EAX,EDX
POP RBX
RET
MOV EDX,0x6
MOV qword ptr [RSI],0x28
POP RBX
MOV EAX,EDX
RET
MOV EDX,0xa1
LEA RSI,[0x1c7129]
LEA RDI,[0x1ae804]
CALL 0x00114270
MOV EDX,0xa0
LEA RSI,[0x1c7129]
LEA RDI,[0x1a87a1]
CALL 0x00114270
MOV EDX,0x9f
LEA RSI,[0x1c7129]
LEA RDI,[0x1bfb0d]
CALL 0x00114270
(translation_unit "undefined8 sober128_export(long param_1,ulong *param_2,long param_3)\n\n{\n  long lVar1;\n  undefined8 uVar2;\n  \n  if (param_3 == 0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f);\n  }\n  if (param_1 == 0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0);\n  }\n  if (param_2 == (ulong *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1);\n  }\n  if (0x27 < *param_2) {\n    lVar1 = sober128_read(param_1,0x28);\n    uVar2 = 9;\n    if (lVar1 == 0x28) {\n      *param_2 = 0x28;\n      uVar2 = 0;\n    }\n    return uVar2;\n  }\n  *param_2 = 0x28;\n  return 6;\n}\n\n" (function_definition "undefined8 sober128_export(long param_1,ulong *param_2,long param_3)\n\n{\n  long lVar1;\n  undefined8 uVar2;\n  \n  if (param_3 == 0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f);\n  }\n  if (param_1 == 0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0);\n  }\n  if (param_2 == (ulong *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1);\n  }\n  if (0x27 < *param_2) {\n    lVar1 = sober128_read(param_1,0x28);\n    uVar2 = 9;\n    if (lVar1 == 0x28) {\n      *param_2 = 0x28;\n      uVar2 = 0;\n    }\n    return uVar2;\n  }\n  *param_2 = 0x28;\n  return 6;\n}" type_identifier (function_declarator "sober128_export(long param_1,ulong *param_2,long param_3)" identifier (parameter_list "(long param_1,ulong *param_2,long param_3)" ( (parameter_declaration "long param_1" (sized_type_specifier "long" long) identifier) , (parameter_declaration "ulong *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "long param_3" (sized_type_specifier "long" long) identifier) ))) (compound_statement "{\n  long lVar1;\n  undefined8 uVar2;\n  \n  if (param_3 == 0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f);\n  }\n  if (param_1 == 0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0);\n  }\n  if (param_2 == (ulong *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1);\n  }\n  if (0x27 < *param_2) {\n    lVar1 = sober128_read(param_1,0x28);\n    uVar2 = 9;\n    if (lVar1 == 0x28) {\n      *param_2 = 0x28;\n      uVar2 = 0;\n    }\n    return uVar2;\n  }\n  *param_2 = 0x28;\n  return 6;\n}" { (declaration "long lVar1;" (sized_type_specifier "long" long) identifier ;) (declaration "undefined8 uVar2;" type_identifier identifier ;) (if_statement "if (param_3 == 0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f);\n  }" if (parenthesized_expression "(param_3 == 0)" ( (binary_expression "param_3 == 0" identifier == number_literal) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f);\n  }" { comment (expression_statement "crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f);" (call_expression "crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f)" identifier (argument_list "("prng != NULL","src/prngs/sober128.c",0x9f)" ( (string_literal ""prng != NULL"" " string_content ") , (string_literal ""src/prngs/sober128.c"" " string_content ") , number_literal ))) ;) })) (if_statement "if (param_1 == 0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0);\n  }" if (parenthesized_expression "(param_1 == 0)" ( (binary_expression "param_1 == 0" identifier == number_literal) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0);\n  }" { comment (expression_statement "crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0);" (call_expression "crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0)" identifier (argument_list "("out != NULL","src/prngs/sober128.c",0xa0)" ( (string_literal ""out != NULL"" " string_content ") , (string_literal ""src/prngs/sober128.c"" " string_content ") , number_literal ))) ;) })) (if_statement "if (param_2 == (ulong *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1);\n  }" if (parenthesized_expression "(param_2 == (ulong *)0x0)" ( (binary_expression "param_2 == (ulong *)0x0" identifier == (cast_expression "(ulong *)0x0" ( (type_descriptor "ulong *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1);\n  }" { comment (expression_statement "crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1);" (call_expression "crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1)" identifier (argument_list "("outlen != NULL","src/prngs/sober128.c",0xa1)" ( (string_literal ""outlen != NULL"" " string_content ") , (string_literal ""src/prngs/sober128.c"" " string_content ") , number_literal ))) ;) })) (if_statement "if (0x27 < *param_2) {\n    lVar1 = sober128_read(param_1,0x28);\n    uVar2 = 9;\n    if (lVar1 == 0x28) {\n      *param_2 = 0x28;\n      uVar2 = 0;\n    }\n    return uVar2;\n  }" if (parenthesized_expression "(0x27 < *param_2)" ( (binary_expression "0x27 < *param_2" number_literal < (pointer_expression "*param_2" * identifier)) )) (compound_statement "{\n    lVar1 = sober128_read(param_1,0x28);\n    uVar2 = 9;\n    if (lVar1 == 0x28) {\n      *param_2 = 0x28;\n      uVar2 = 0;\n    }\n    return uVar2;\n  }" { (expression_statement "lVar1 = sober128_read(param_1,0x28);" (assignment_expression "lVar1 = sober128_read(param_1,0x28)" identifier = (call_expression "sober128_read(param_1,0x28)" identifier (argument_list "(param_1,0x28)" ( identifier , number_literal )))) ;) (expression_statement "uVar2 = 9;" (assignment_expression "uVar2 = 9" identifier = number_literal) ;) (if_statement "if (lVar1 == 0x28) {\n      *param_2 = 0x28;\n      uVar2 = 0;\n    }" if (parenthesized_expression "(lVar1 == 0x28)" ( (binary_expression "lVar1 == 0x28" identifier == number_literal) )) (compound_statement "{\n      *param_2 = 0x28;\n      uVar2 = 0;\n    }" { (expression_statement "*param_2 = 0x28;" (assignment_expression "*param_2 = 0x28" (pointer_expression "*param_2" * identifier) = number_literal) ;) (expression_statement "uVar2 = 0;" (assignment_expression "uVar2 = 0" identifier = number_literal) ;) })) (return_statement "return uVar2;" return identifier ;) })) (expression_statement "*param_2 = 0x28;" (assignment_expression "*param_2 = 0x28" (pointer_expression "*param_2" * identifier) = number_literal) ;) (return_statement "return 6;" return number_literal ;) })))
(translation_unit "int sober128_export(uchar *out,ulong *outlen,prng_state *prng)\n\n{\n  ulong uVar1;\n  int iVar2;\n  \n  if (prng == (prng_state *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f);\n  }\n  if (out == (uchar *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0);\n  }\n  if (outlen == (ulong *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1);\n  }\n  if (0x27 < *outlen) {\n    uVar1 = sober128_read(out,0x28,prng);\n    iVar2 = 9;\n    if (uVar1 == 0x28) {\n      *outlen = 0x28;\n      iVar2 = 0;\n    }\n    return iVar2;\n  }\n  *outlen = 0x28;\n  return 6;\n}\n\n" (function_definition "int sober128_export(uchar *out,ulong *outlen,prng_state *prng)\n\n{\n  ulong uVar1;\n  int iVar2;\n  \n  if (prng == (prng_state *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f);\n  }\n  if (out == (uchar *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0);\n  }\n  if (outlen == (ulong *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1);\n  }\n  if (0x27 < *outlen) {\n    uVar1 = sober128_read(out,0x28,prng);\n    iVar2 = 9;\n    if (uVar1 == 0x28) {\n      *outlen = 0x28;\n      iVar2 = 0;\n    }\n    return iVar2;\n  }\n  *outlen = 0x28;\n  return 6;\n}" primitive_type (function_declarator "sober128_export(uchar *out,ulong *outlen,prng_state *prng)" identifier (parameter_list "(uchar *out,ulong *outlen,prng_state *prng)" ( (parameter_declaration "uchar *out" type_identifier (pointer_declarator "*out" * identifier)) , (parameter_declaration "ulong *outlen" type_identifier (pointer_declarator "*outlen" * identifier)) , (parameter_declaration "prng_state *prng" type_identifier (pointer_declarator "*prng" * identifier)) ))) (compound_statement "{\n  ulong uVar1;\n  int iVar2;\n  \n  if (prng == (prng_state *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f);\n  }\n  if (out == (uchar *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0);\n  }\n  if (outlen == (ulong *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1);\n  }\n  if (0x27 < *outlen) {\n    uVar1 = sober128_read(out,0x28,prng);\n    iVar2 = 9;\n    if (uVar1 == 0x28) {\n      *outlen = 0x28;\n      iVar2 = 0;\n    }\n    return iVar2;\n  }\n  *outlen = 0x28;\n  return 6;\n}" { (declaration "ulong uVar1;" type_identifier identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (if_statement "if (prng == (prng_state *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f);\n  }" if (parenthesized_expression "(prng == (prng_state *)0x0)" ( (binary_expression "prng == (prng_state *)0x0" identifier == (cast_expression "(prng_state *)0x0" ( (type_descriptor "prng_state *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f);\n  }" { comment (expression_statement "crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f);" (call_expression "crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f)" identifier (argument_list "("prng != NULL","src/prngs/sober128.c",0x9f)" ( (string_literal ""prng != NULL"" " string_content ") , (string_literal ""src/prngs/sober128.c"" " string_content ") , number_literal ))) ;) })) (if_statement "if (out == (uchar *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0);\n  }" if (parenthesized_expression "(out == (uchar *)0x0)" ( (binary_expression "out == (uchar *)0x0" identifier == (cast_expression "(uchar *)0x0" ( (type_descriptor "uchar *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0);\n  }" { comment (expression_statement "crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0);" (call_expression "crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0)" identifier (argument_list "("out != NULL","src/prngs/sober128.c",0xa0)" ( (string_literal ""out != NULL"" " string_content ") , (string_literal ""src/prngs/sober128.c"" " string_content ") , number_literal ))) ;) })) (if_statement "if (outlen == (ulong *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1);\n  }" if (parenthesized_expression "(outlen == (ulong *)0x0)" ( (binary_expression "outlen == (ulong *)0x0" identifier == (cast_expression "(ulong *)0x0" ( (type_descriptor "ulong *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1);\n  }" { comment (expression_statement "crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1);" (call_expression "crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1)" identifier (argument_list "("outlen != NULL","src/prngs/sober128.c",0xa1)" ( (string_literal ""outlen != NULL"" " string_content ") , (string_literal ""src/prngs/sober128.c"" " string_content ") , number_literal ))) ;) })) (if_statement "if (0x27 < *outlen) {\n    uVar1 = sober128_read(out,0x28,prng);\n    iVar2 = 9;\n    if (uVar1 == 0x28) {\n      *outlen = 0x28;\n      iVar2 = 0;\n    }\n    return iVar2;\n  }" if (parenthesized_expression "(0x27 < *outlen)" ( (binary_expression "0x27 < *outlen" number_literal < (pointer_expression "*outlen" * identifier)) )) (compound_statement "{\n    uVar1 = sober128_read(out,0x28,prng);\n    iVar2 = 9;\n    if (uVar1 == 0x28) {\n      *outlen = 0x28;\n      iVar2 = 0;\n    }\n    return iVar2;\n  }" { (expression_statement "uVar1 = sober128_read(out,0x28,prng);" (assignment_expression "uVar1 = sober128_read(out,0x28,prng)" identifier = (call_expression "sober128_read(out,0x28,prng)" identifier (argument_list "(out,0x28,prng)" ( identifier , number_literal , identifier )))) ;) (expression_statement "iVar2 = 9;" (assignment_expression "iVar2 = 9" identifier = number_literal) ;) (if_statement "if (uVar1 == 0x28) {\n      *outlen = 0x28;\n      iVar2 = 0;\n    }" if (parenthesized_expression "(uVar1 == 0x28)" ( (binary_expression "uVar1 == 0x28" identifier == number_literal) )) (compound_statement "{\n      *outlen = 0x28;\n      iVar2 = 0;\n    }" { (expression_statement "*outlen = 0x28;" (assignment_expression "*outlen = 0x28" (pointer_expression "*outlen" * identifier) = number_literal) ;) (expression_statement "iVar2 = 0;" (assignment_expression "iVar2 = 0" identifier = number_literal) ;) })) (return_statement "return iVar2;" return identifier ;) })) (expression_statement "*outlen = 0x28;" (assignment_expression "*outlen = 0x28" (pointer_expression "*outlen" * identifier) = number_literal) ;) (return_statement "return 6;" return number_literal ;) })))
(translation_unit "undefined8 sober128_export(long param_1,ulong *param_2,long param_3)\n\n{\n  long lVar1;\n  undefined8 uVar2;\n  \n  if (param_3 == 0) {\n                    \n    crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f);\n  }\n  if (param_1 == 0) {\n                    \n    crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0);\n  }\n  if (param_2 == (ulong *)0x0) {\n                    \n    crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1);\n  }\n  if (0x27 < *param_2) {\n    lVar1 = sober128_read(param_1,0x28);\n    uVar2 = 9;\n    if (lVar1 == 0x28) {\n      *param_2 = 0x28;\n      uVar2 = 0;\n    }\n    return uVar2;\n  }\n  *param_2 = 0x28;\n  return 6;\n}\n\n" (function_definition "undefined8 sober128_export(long param_1,ulong *param_2,long param_3)\n\n{\n  long lVar1;\n  undefined8 uVar2;\n  \n  if (param_3 == 0) {\n                    \n    crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f);\n  }\n  if (param_1 == 0) {\n                    \n    crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0);\n  }\n  if (param_2 == (ulong *)0x0) {\n                    \n    crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1);\n  }\n  if (0x27 < *param_2) {\n    lVar1 = sober128_read(param_1,0x28);\n    uVar2 = 9;\n    if (lVar1 == 0x28) {\n      *param_2 = 0x28;\n      uVar2 = 0;\n    }\n    return uVar2;\n  }\n  *param_2 = 0x28;\n  return 6;\n}" type_identifier (function_declarator "sober128_export(long param_1,ulong *param_2,long param_3)" identifier (parameter_list "(long param_1,ulong *param_2,long param_3)" ( (parameter_declaration "long param_1" (sized_type_specifier "long" long) identifier) , (parameter_declaration "ulong *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "long param_3" (sized_type_specifier "long" long) identifier) ))) (compound_statement "{\n  long lVar1;\n  undefined8 uVar2;\n  \n  if (param_3 == 0) {\n                    \n    crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f);\n  }\n  if (param_1 == 0) {\n                    \n    crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0);\n  }\n  if (param_2 == (ulong *)0x0) {\n                    \n    crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1);\n  }\n  if (0x27 < *param_2) {\n    lVar1 = sober128_read(param_1,0x28);\n    uVar2 = 9;\n    if (lVar1 == 0x28) {\n      *param_2 = 0x28;\n      uVar2 = 0;\n    }\n    return uVar2;\n  }\n  *param_2 = 0x28;\n  return 6;\n}" { (declaration "long lVar1;" (sized_type_specifier "long" long) identifier ;) (declaration "undefined8 uVar2;" type_identifier identifier ;) (if_statement "if (param_3 == 0) {\n                    \n    crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f);\n  }" if (parenthesized_expression "(param_3 == 0)" ( (binary_expression "param_3 == 0" identifier == number_literal) )) (compound_statement "{\n                    \n    crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f);\n  }" { (expression_statement "crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f);" (call_expression "crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f)" identifier (argument_list "("prng != NULL","src/prngs/sober128.c",0x9f)" ( (string_literal ""prng != NULL"" " string_content ") , (string_literal ""src/prngs/sober128.c"" " string_content ") , number_literal ))) ;) })) (if_statement "if (param_1 == 0) {\n                    \n    crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0);\n  }" if (parenthesized_expression "(param_1 == 0)" ( (binary_expression "param_1 == 0" identifier == number_literal) )) (compound_statement "{\n                    \n    crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0);\n  }" { (expression_statement "crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0);" (call_expression "crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0)" identifier (argument_list "("out != NULL","src/prngs/sober128.c",0xa0)" ( (string_literal ""out != NULL"" " string_content ") , (string_literal ""src/prngs/sober128.c"" " string_content ") , number_literal ))) ;) })) (if_statement "if (param_2 == (ulong *)0x0) {\n                    \n    crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1);\n  }" if (parenthesized_expression "(param_2 == (ulong *)0x0)" ( (binary_expression "param_2 == (ulong *)0x0" identifier == (cast_expression "(ulong *)0x0" ( (type_descriptor "ulong *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n                    \n    crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1);\n  }" { (expression_statement "crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1);" (call_expression "crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1)" identifier (argument_list "("outlen != NULL","src/prngs/sober128.c",0xa1)" ( (string_literal ""outlen != NULL"" " string_content ") , (string_literal ""src/prngs/sober128.c"" " string_content ") , number_literal ))) ;) })) (if_statement "if (0x27 < *param_2) {\n    lVar1 = sober128_read(param_1,0x28);\n    uVar2 = 9;\n    if (lVar1 == 0x28) {\n      *param_2 = 0x28;\n      uVar2 = 0;\n    }\n    return uVar2;\n  }" if (parenthesized_expression "(0x27 < *param_2)" ( (binary_expression "0x27 < *param_2" number_literal < (pointer_expression "*param_2" * identifier)) )) (compound_statement "{\n    lVar1 = sober128_read(param_1,0x28);\n    uVar2 = 9;\n    if (lVar1 == 0x28) {\n      *param_2 = 0x28;\n      uVar2 = 0;\n    }\n    return uVar2;\n  }" { (expression_statement "lVar1 = sober128_read(param_1,0x28);" (assignment_expression "lVar1 = sober128_read(param_1,0x28)" identifier = (call_expression "sober128_read(param_1,0x28)" identifier (argument_list "(param_1,0x28)" ( identifier , number_literal )))) ;) (expression_statement "uVar2 = 9;" (assignment_expression "uVar2 = 9" identifier = number_literal) ;) (if_statement "if (lVar1 == 0x28) {\n      *param_2 = 0x28;\n      uVar2 = 0;\n    }" if (parenthesized_expression "(lVar1 == 0x28)" ( (binary_expression "lVar1 == 0x28" identifier == number_literal) )) (compound_statement "{\n      *param_2 = 0x28;\n      uVar2 = 0;\n    }" { (expression_statement "*param_2 = 0x28;" (assignment_expression "*param_2 = 0x28" (pointer_expression "*param_2" * identifier) = number_literal) ;) (expression_statement "uVar2 = 0;" (assignment_expression "uVar2 = 0" identifier = number_literal) ;) })) (return_statement "return uVar2;" return identifier ;) })) (expression_statement "*param_2 = 0x28;" (assignment_expression "*param_2 = 0x28" (pointer_expression "*param_2" * identifier) = number_literal) ;) (return_statement "return 6;" return number_literal ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration (sized_type_specifier long) IDENT) , (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration (sized_type_specifier long) IDENT) ))) (compound_statement { (declaration (sized_type_specifier long) IDENT ;) (declaration TYPE IDENT ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") , (string_literal " string_content ") , LIT ))) ;) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") , (string_literal " string_content ") , LIT ))) ;) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT == (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") , (string_literal " string_content ") , LIT ))) ;) })) (if_statement if (parenthesized_expression ( (binary_expression LIT < (pointer_expression * IDENT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( IDENT , LIT )))) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression (pointer_expression * IDENT) = LIT) ;) (expression_statement (assignment_expression IDENT = LIT) ;) })) (return_statement return IDENT ;) })) (expression_statement (assignment_expression (pointer_expression * IDENT) = LIT) ;) (return_statement return LIT ;) })))
(function_definition "undefined8 sober128_export(long param_1,ulong *param_2,long param_3)\n\n{\n  long lVar1;\n  undefined8 uVar2;\n  \n  if (param_3 == 0) {\n                    \n    crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f);\n  }\n  if (param_1 == 0) {\n                    \n    crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0);\n  }\n  if (param_2 == (ulong *)0x0) {\n                    \n    crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1);\n  }\n  if (0x27 < *param_2) {\n    lVar1 = sober128_read(param_1,0x28);\n    uVar2 = 9;\n    if (lVar1 == 0x28) {\n      *param_2 = 0x28;\n      uVar2 = 0;\n    }\n    return uVar2;\n  }\n  *param_2 = 0x28;\n  return 6;\n}" (type_identifier "undefined8") (function_declarator "sober128_export(long param_1,ulong *param_2,long param_3)" (identifier "sober128_export") (parameter_list "(long param_1,ulong *param_2,long param_3)" (( "(") (parameter_declaration "long param_1" (sized_type_specifier "long" (long "long")) (identifier "param_1")) (, ",") (parameter_declaration "ulong *param_2" (type_identifier "ulong") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) (, ",") (parameter_declaration "long param_3" (sized_type_specifier "long" (long "long")) (identifier "param_3")) () ")"))) (compound_statement "{\n  long lVar1;\n  undefined8 uVar2;\n  \n  if (param_3 == 0) {\n                    \n    crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f);\n  }\n  if (param_1 == 0) {\n                    \n    crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0);\n  }\n  if (param_2 == (ulong *)0x0) {\n                    \n    crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1);\n  }\n  if (0x27 < *param_2) {\n    lVar1 = sober128_read(param_1,0x28);\n    uVar2 = 9;\n    if (lVar1 == 0x28) {\n      *param_2 = 0x28;\n      uVar2 = 0;\n    }\n    return uVar2;\n  }\n  *param_2 = 0x28;\n  return 6;\n}" ({ "{") (declaration "long lVar1;" (sized_type_specifier "long" (long "long")) (identifier "lVar1") (; ";")) (declaration "undefined8 uVar2;" (type_identifier "undefined8") (identifier "uVar2") (; ";")) (if_statement "if (param_3 == 0) {\n                    \n    crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f);\n  }" (if "if") (parenthesized_expression "(param_3 == 0)" (( "(") (binary_expression "param_3 == 0" (identifier "param_3") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n                    \n    crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f);\n  }" ({ "{") (expression_statement "crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f);" (call_expression "crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f)" (identifier "crypt_argchk") (argument_list "("prng != NULL","src/prngs/sober128.c",0x9f)" (( "(") (string_literal ""prng != NULL"" (" """) (string_content "prng != NULL") (" """)) (, ",") (string_literal ""src/prngs/sober128.c"" (" """) (string_content "src/prngs/sober128.c") (" """)) (, ",") (number_literal "0x9f") () ")"))) (; ";")) (} "}"))) (if_statement "if (param_1 == 0) {\n                    \n    crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0);\n  }" (if "if") (parenthesized_expression "(param_1 == 0)" (( "(") (binary_expression "param_1 == 0" (identifier "param_1") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n                    \n    crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0);\n  }" ({ "{") (expression_statement "crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0);" (call_expression "crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0)" (identifier "crypt_argchk") (argument_list "("out != NULL","src/prngs/sober128.c",0xa0)" (( "(") (string_literal ""out != NULL"" (" """) (string_content "out != NULL") (" """)) (, ",") (string_literal ""src/prngs/sober128.c"" (" """) (string_content "src/prngs/sober128.c") (" """)) (, ",") (number_literal "0xa0") () ")"))) (; ";")) (} "}"))) (if_statement "if (param_2 == (ulong *)0x0) {\n                    \n    crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1);\n  }" (if "if") (parenthesized_expression "(param_2 == (ulong *)0x0)" (( "(") (binary_expression "param_2 == (ulong *)0x0" (identifier "param_2") (== "==") (cast_expression "(ulong *)0x0" (( "(") (type_descriptor "ulong *" (type_identifier "ulong") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (compound_statement "{\n                    \n    crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1);\n  }" ({ "{") (expression_statement "crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1);" (call_expression "crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1)" (identifier "crypt_argchk") (argument_list "("outlen != NULL","src/prngs/sober128.c",0xa1)" (( "(") (string_literal ""outlen != NULL"" (" """) (string_content "outlen != NULL") (" """)) (, ",") (string_literal ""src/prngs/sober128.c"" (" """) (string_content "src/prngs/sober128.c") (" """)) (, ",") (number_literal "0xa1") () ")"))) (; ";")) (} "}"))) (if_statement "if (0x27 < *param_2) {\n    lVar1 = sober128_read(param_1,0x28);\n    uVar2 = 9;\n    if (lVar1 == 0x28) {\n      *param_2 = 0x28;\n      uVar2 = 0;\n    }\n    return uVar2;\n  }" (if "if") (parenthesized_expression "(0x27 < *param_2)" (( "(") (binary_expression "0x27 < *param_2" (number_literal "0x27") (< "<") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) () ")")) (compound_statement "{\n    lVar1 = sober128_read(param_1,0x28);\n    uVar2 = 9;\n    if (lVar1 == 0x28) {\n      *param_2 = 0x28;\n      uVar2 = 0;\n    }\n    return uVar2;\n  }" ({ "{") (expression_statement "lVar1 = sober128_read(param_1,0x28);" (assignment_expression "lVar1 = sober128_read(param_1,0x28)" (identifier "lVar1") (= "=") (call_expression "sober128_read(param_1,0x28)" (identifier "sober128_read") (argument_list "(param_1,0x28)" (( "(") (identifier "param_1") (, ",") (number_literal "0x28") () ")")))) (; ";")) (expression_statement "uVar2 = 9;" (assignment_expression "uVar2 = 9" (identifier "uVar2") (= "=") (number_literal "9")) (; ";")) (if_statement "if (lVar1 == 0x28) {\n      *param_2 = 0x28;\n      uVar2 = 0;\n    }" (if "if") (parenthesized_expression "(lVar1 == 0x28)" (( "(") (binary_expression "lVar1 == 0x28" (identifier "lVar1") (== "==") (number_literal "0x28")) () ")")) (compound_statement "{\n      *param_2 = 0x28;\n      uVar2 = 0;\n    }" ({ "{") (expression_statement "*param_2 = 0x28;" (assignment_expression "*param_2 = 0x28" (pointer_expression "*param_2" (* "*") (identifier "param_2")) (= "=") (number_literal "0x28")) (; ";")) (expression_statement "uVar2 = 0;" (assignment_expression "uVar2 = 0" (identifier "uVar2") (= "=") (number_literal "0")) (; ";")) (} "}"))) (return_statement "return uVar2;" (return "return") (identifier "uVar2") (; ";")) (} "}"))) (expression_statement "*param_2 = 0x28;" (assignment_expression "*param_2 = 0x28" (pointer_expression "*param_2" (* "*") (identifier "param_2")) (= "=") (number_literal "0x28")) (; ";")) (return_statement "return 6;" (return "return") (number_literal "6") (; ";")) (} "}")))

int function_1(type_1 *var_3,type_2 *var_4,type_3 *var_1)

{
  type_2 var_6;
  int iVar2;
  
  if (var_1 == (type_3 *)0x0) {
                    /* WARNING: Subroutine does not return */
    var_2("prng != NULL","src/prngs/sober128.c",0x9f);
  }
  if (var_3 == (type_1 *)0x0) {
                    /* WARNING: Subroutine does not return */
    var_2("out != NULL","src/prngs/sober128.c",0xa0);
  }
  if (var_4 == (type_2 *)0x0) {
                    /* WARNING: Subroutine does not return */
    var_2("outlen != NULL","src/prngs/sober128.c",0xa1);
  }
  if (0x27 < *var_4) {
    var_6 = var_5(var_3,0x28,var_1);
    iVar2 = 9;
    if (var_6 == 0x28) {
      *var_4 = 0x28;
      iVar2 = 0;
    }
    return iVar2;
  }
  *var_4 = 0x28;
  return 6;
}


(translation_unit (function_definition type: (type_identifier) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (sized_type_specifier) declarator: (identifier)) (parameter_declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (parameter_declaration type: (sized_type_specifier) declarator: (identifier)))) body: (compound_statement (declaration type: (sized_type_specifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)) (string_literal (string_content)) (number_literal)))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)) (string_literal (string_content)) (number_literal)))))) (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 (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)) (string_literal (string_content)) (number_literal)))))) (if_statement condition: (parenthesized_expression (binary_expression left: (number_literal) right: (pointer_expression argument: (identifier)))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (identifier) arguments: (argument_list (identifier) (number_literal))))) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (number_literal))))) (return_statement (identifier)))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (number_literal))) (return_statement (number_literal)))))

undefined8 MASKED(long param_1,ulong *param_2,long param_3)

{
  long lVar1;
  undefined8 uVar2;
  
  if (param_3 == 0) {
                    /* WARNING: Subroutine does not return */
    crypt_argchk("prng != NULL","src/prngs/sober128.c",0x9f);
  }
  if (param_1 == 0) {
                    /* WARNING: Subroutine does not return */
    crypt_argchk("out != NULL","src/prngs/sober128.c",0xa0);
  }
  if (param_2 == (ulong *)0x0) {
                    /* WARNING: Subroutine does not return */
    crypt_argchk("outlen != NULL","src/prngs/sober128.c",0xa1);
  }
  if (0x27 < *param_2) {
    lVar1 = sober128_read(param_1,0x28);
    uVar2 = 9;
    if (lVar1 == 0x28) {
      *param_2 = 0x28;
      uVar2 = 0;
    }
    return uVar2;
  }
  *param_2 = 0x28;
  return 6;
}

