
int chacha20poly1305_setiv_rfc7905
              (chacha20poly1305_state *st,uchar *iv,ulong ivlen,ulong64 sequence_number)

{
  int iVar1;
  
  iVar1 = (*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58)();
  return iVar1;
}



void chacha20poly1305_setiv_rfc7905(void)

{
  (*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58)();
  return;
}


JMP qword ptr [0x001ebf58]
(translation_unit "void chacha20poly1305_setiv_rfc7905(void)\n\n{\n  (*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58)();\n  return;\n}\n\n" (function_definition "void chacha20poly1305_setiv_rfc7905(void)\n\n{\n  (*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58)();\n  return;\n}" primitive_type (function_declarator "chacha20poly1305_setiv_rfc7905(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  (*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58)();\n  return;\n}" { (expression_statement "(*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58)();" (call_expression "(*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58)()" (parenthesized_expression "(*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58)" ( (pointer_expression "*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58" * (cast_expression "(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( ))) ;) (return_statement "return;" return ;) })))
(translation_unit "int chacha20poly1305_setiv_rfc7905\n              (chacha20poly1305_state *st,uchar *iv,ulong ivlen,ulong64 sequence_number)\n\n{\n  int iVar1;\n  \n  iVar1 = (*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58)();\n  return iVar1;\n}\n\n" (function_definition "int chacha20poly1305_setiv_rfc7905\n              (chacha20poly1305_state *st,uchar *iv,ulong ivlen,ulong64 sequence_number)\n\n{\n  int iVar1;\n  \n  iVar1 = (*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58)();\n  return iVar1;\n}" primitive_type (function_declarator "chacha20poly1305_setiv_rfc7905\n              (chacha20poly1305_state *st,uchar *iv,ulong ivlen,ulong64 sequence_number)" identifier (parameter_list "(chacha20poly1305_state *st,uchar *iv,ulong ivlen,ulong64 sequence_number)" ( (parameter_declaration "chacha20poly1305_state *st" type_identifier (pointer_declarator "*st" * identifier)) , (parameter_declaration "uchar *iv" type_identifier (pointer_declarator "*iv" * identifier)) , (parameter_declaration "ulong ivlen" type_identifier identifier) , (parameter_declaration "ulong64 sequence_number" type_identifier identifier) ))) (compound_statement "{\n  int iVar1;\n  \n  iVar1 = (*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58)();\n  return iVar1;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (expression_statement "iVar1 = (*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58)();" (assignment_expression "iVar1 = (*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58)()" identifier = (call_expression "(*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58)()" (parenthesized_expression "(*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58)" ( (pointer_expression "*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58" * (cast_expression "(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( )))) ;) (return_statement "return iVar1;" return identifier ;) })))
(translation_unit "void chacha20poly1305_setiv_rfc7905(void)\n\n{\n  (*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58)();\n  return;\n}\n\n" (function_definition "void chacha20poly1305_setiv_rfc7905(void)\n\n{\n  (*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58)();\n  return;\n}" primitive_type (function_declarator "chacha20poly1305_setiv_rfc7905(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  (*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58)();\n  return;\n}" { (expression_statement "(*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58)();" (call_expression "(*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58)()" (parenthesized_expression "(*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58)" ( (pointer_expression "*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58" * (cast_expression "(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( ))) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE) ))) (compound_statement { (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( ))) ;) (return_statement return ;) })))
(function_definition "void chacha20poly1305_setiv_rfc7905(void)\n\n{\n  (*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58)();\n  return;\n}" (primitive_type "void") (function_declarator "chacha20poly1305_setiv_rfc7905(void)" (identifier "chacha20poly1305_setiv_rfc7905") (parameter_list "(void)" (( "(") (parameter_declaration "void" (primitive_type "void")) () ")"))) (compound_statement "{\n  (*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58)();\n  return;\n}" ({ "{") (expression_statement "(*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58)();" (call_expression "(*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58)()" (parenthesized_expression "(*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58)" (( "(") (pointer_expression "*(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58" (* "*") (cast_expression "(code *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_chacha20poly1305_setiv_rfc7905_001ebf58"))) () ")")) (argument_list "()" (( "(") () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

int function_1
              (type_1 *st,type_2 *iv,type_3 ivlen,type_4 sequence_number)

{
  int iVar1;
  
  iVar1 = (*(type_5 *)PTR_chacha20poly1305_setiv_rfc7905_001ebf58)();
  return iVar1;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type)))) body: (compound_statement (expression_statement (call_expression function: (parenthesized_expression (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))) arguments: (argument_list))) (return_statement))))

void MASKED(void)

{
  (*(code *)PTR_MASKED_001ebf58)();
  return;
}

