
/* WARNING: Unknown calling convention */

void SHA256_Core_Init(SHA256_State *s)

{
  s->h[0] = 0x6a09e667;
  s->h[1] = 0xbb67ae85;
  s->h[2] = 0x3c6ef372;
  s->h[3] = 0xa54ff53a;
  s->h[4] = 0x510e527f;
  s->h[5] = 0x9b05688c;
  s->h[6] = 0x1f83d9ab;
  s->h[7] = 0x5be0cd19;
  return;
}



void FUN_0012bb16(undefined4 *param_1)

{
  *param_1 = 0x6a09e667;
  param_1[1] = 0xbb67ae85;
  param_1[2] = 0x3c6ef372;
  param_1[3] = 0xa54ff53a;
  param_1[4] = 0x510e527f;
  param_1[5] = 0x9b05688c;
  param_1[6] = 0x1f83d9ab;
  param_1[7] = 0x5be0cd19;
  return;
}


MOV dword ptr [RDI],0x6a09e667
MOV dword ptr [RDI + 0x4],0xbb67ae85
MOV dword ptr [RDI + 0x8],0x3c6ef372
MOV dword ptr [RDI + 0xc],0xa54ff53a
MOV dword ptr [RDI + 0x10],0x510e527f
MOV dword ptr [RDI + 0x14],0x9b05688c
MOV dword ptr [RDI + 0x18],0x1f83d9ab
MOV dword ptr [RDI + 0x1c],0x5be0cd19
RET
(translation_unit "void FUN_0012bb16(undefined4 *param_1)\n\n{\n  *param_1 = 0x6a09e667;\n  param_1[1] = 0xbb67ae85;\n  param_1[2] = 0x3c6ef372;\n  param_1[3] = 0xa54ff53a;\n  param_1[4] = 0x510e527f;\n  param_1[5] = 0x9b05688c;\n  param_1[6] = 0x1f83d9ab;\n  param_1[7] = 0x5be0cd19;\n  return;\n}\n\n" (function_definition "void FUN_0012bb16(undefined4 *param_1)\n\n{\n  *param_1 = 0x6a09e667;\n  param_1[1] = 0xbb67ae85;\n  param_1[2] = 0x3c6ef372;\n  param_1[3] = 0xa54ff53a;\n  param_1[4] = 0x510e527f;\n  param_1[5] = 0x9b05688c;\n  param_1[6] = 0x1f83d9ab;\n  param_1[7] = 0x5be0cd19;\n  return;\n}" primitive_type (function_declarator "FUN_0012bb16(undefined4 *param_1)" identifier (parameter_list "(undefined4 *param_1)" ( (parameter_declaration "undefined4 *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  *param_1 = 0x6a09e667;\n  param_1[1] = 0xbb67ae85;\n  param_1[2] = 0x3c6ef372;\n  param_1[3] = 0xa54ff53a;\n  param_1[4] = 0x510e527f;\n  param_1[5] = 0x9b05688c;\n  param_1[6] = 0x1f83d9ab;\n  param_1[7] = 0x5be0cd19;\n  return;\n}" { (expression_statement "*param_1 = 0x6a09e667;" (assignment_expression "*param_1 = 0x6a09e667" (pointer_expression "*param_1" * identifier) = number_literal) ;) (expression_statement "param_1[1] = 0xbb67ae85;" (assignment_expression "param_1[1] = 0xbb67ae85" (subscript_expression "param_1[1]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[2] = 0x3c6ef372;" (assignment_expression "param_1[2] = 0x3c6ef372" (subscript_expression "param_1[2]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[3] = 0xa54ff53a;" (assignment_expression "param_1[3] = 0xa54ff53a" (subscript_expression "param_1[3]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[4] = 0x510e527f;" (assignment_expression "param_1[4] = 0x510e527f" (subscript_expression "param_1[4]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[5] = 0x9b05688c;" (assignment_expression "param_1[5] = 0x9b05688c" (subscript_expression "param_1[5]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[6] = 0x1f83d9ab;" (assignment_expression "param_1[6] = 0x1f83d9ab" (subscript_expression "param_1[6]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[7] = 0x5be0cd19;" (assignment_expression "param_1[7] = 0x5be0cd19" (subscript_expression "param_1[7]" identifier [ number_literal ]) = number_literal) ;) (return_statement "return;" return ;) })))
(translation_unit "/* WARNING: Unknown calling convention */\n\nvoid SHA256_Core_Init(SHA256_State *s)\n\n{\n  s->h[0] = 0x6a09e667;\n  s->h[1] = 0xbb67ae85;\n  s->h[2] = 0x3c6ef372;\n  s->h[3] = 0xa54ff53a;\n  s->h[4] = 0x510e527f;\n  s->h[5] = 0x9b05688c;\n  s->h[6] = 0x1f83d9ab;\n  s->h[7] = 0x5be0cd19;\n  return;\n}\n\n" comment (function_definition "void SHA256_Core_Init(SHA256_State *s)\n\n{\n  s->h[0] = 0x6a09e667;\n  s->h[1] = 0xbb67ae85;\n  s->h[2] = 0x3c6ef372;\n  s->h[3] = 0xa54ff53a;\n  s->h[4] = 0x510e527f;\n  s->h[5] = 0x9b05688c;\n  s->h[6] = 0x1f83d9ab;\n  s->h[7] = 0x5be0cd19;\n  return;\n}" primitive_type (function_declarator "SHA256_Core_Init(SHA256_State *s)" identifier (parameter_list "(SHA256_State *s)" ( (parameter_declaration "SHA256_State *s" type_identifier (pointer_declarator "*s" * identifier)) ))) (compound_statement "{\n  s->h[0] = 0x6a09e667;\n  s->h[1] = 0xbb67ae85;\n  s->h[2] = 0x3c6ef372;\n  s->h[3] = 0xa54ff53a;\n  s->h[4] = 0x510e527f;\n  s->h[5] = 0x9b05688c;\n  s->h[6] = 0x1f83d9ab;\n  s->h[7] = 0x5be0cd19;\n  return;\n}" { (expression_statement "s->h[0] = 0x6a09e667;" (assignment_expression "s->h[0] = 0x6a09e667" (subscript_expression "s->h[0]" (field_expression "s->h" identifier -> field_identifier) [ number_literal ]) = number_literal) ;) (expression_statement "s->h[1] = 0xbb67ae85;" (assignment_expression "s->h[1] = 0xbb67ae85" (subscript_expression "s->h[1]" (field_expression "s->h" identifier -> field_identifier) [ number_literal ]) = number_literal) ;) (expression_statement "s->h[2] = 0x3c6ef372;" (assignment_expression "s->h[2] = 0x3c6ef372" (subscript_expression "s->h[2]" (field_expression "s->h" identifier -> field_identifier) [ number_literal ]) = number_literal) ;) (expression_statement "s->h[3] = 0xa54ff53a;" (assignment_expression "s->h[3] = 0xa54ff53a" (subscript_expression "s->h[3]" (field_expression "s->h" identifier -> field_identifier) [ number_literal ]) = number_literal) ;) (expression_statement "s->h[4] = 0x510e527f;" (assignment_expression "s->h[4] = 0x510e527f" (subscript_expression "s->h[4]" (field_expression "s->h" identifier -> field_identifier) [ number_literal ]) = number_literal) ;) (expression_statement "s->h[5] = 0x9b05688c;" (assignment_expression "s->h[5] = 0x9b05688c" (subscript_expression "s->h[5]" (field_expression "s->h" identifier -> field_identifier) [ number_literal ]) = number_literal) ;) (expression_statement "s->h[6] = 0x1f83d9ab;" (assignment_expression "s->h[6] = 0x1f83d9ab" (subscript_expression "s->h[6]" (field_expression "s->h" identifier -> field_identifier) [ number_literal ]) = number_literal) ;) (expression_statement "s->h[7] = 0x5be0cd19;" (assignment_expression "s->h[7] = 0x5be0cd19" (subscript_expression "s->h[7]" (field_expression "s->h" identifier -> field_identifier) [ number_literal ]) = number_literal) ;) (return_statement "return;" return ;) })))
(translation_unit "void FUN_0012bb16(undefined4 *param_1)\n\n{\n  *param_1 = 0x6a09e667;\n  param_1[1] = 0xbb67ae85;\n  param_1[2] = 0x3c6ef372;\n  param_1[3] = 0xa54ff53a;\n  param_1[4] = 0x510e527f;\n  param_1[5] = 0x9b05688c;\n  param_1[6] = 0x1f83d9ab;\n  param_1[7] = 0x5be0cd19;\n  return;\n}\n\n" (function_definition "void FUN_0012bb16(undefined4 *param_1)\n\n{\n  *param_1 = 0x6a09e667;\n  param_1[1] = 0xbb67ae85;\n  param_1[2] = 0x3c6ef372;\n  param_1[3] = 0xa54ff53a;\n  param_1[4] = 0x510e527f;\n  param_1[5] = 0x9b05688c;\n  param_1[6] = 0x1f83d9ab;\n  param_1[7] = 0x5be0cd19;\n  return;\n}" primitive_type (function_declarator "FUN_0012bb16(undefined4 *param_1)" identifier (parameter_list "(undefined4 *param_1)" ( (parameter_declaration "undefined4 *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  *param_1 = 0x6a09e667;\n  param_1[1] = 0xbb67ae85;\n  param_1[2] = 0x3c6ef372;\n  param_1[3] = 0xa54ff53a;\n  param_1[4] = 0x510e527f;\n  param_1[5] = 0x9b05688c;\n  param_1[6] = 0x1f83d9ab;\n  param_1[7] = 0x5be0cd19;\n  return;\n}" { (expression_statement "*param_1 = 0x6a09e667;" (assignment_expression "*param_1 = 0x6a09e667" (pointer_expression "*param_1" * identifier) = number_literal) ;) (expression_statement "param_1[1] = 0xbb67ae85;" (assignment_expression "param_1[1] = 0xbb67ae85" (subscript_expression "param_1[1]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[2] = 0x3c6ef372;" (assignment_expression "param_1[2] = 0x3c6ef372" (subscript_expression "param_1[2]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[3] = 0xa54ff53a;" (assignment_expression "param_1[3] = 0xa54ff53a" (subscript_expression "param_1[3]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[4] = 0x510e527f;" (assignment_expression "param_1[4] = 0x510e527f" (subscript_expression "param_1[4]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[5] = 0x9b05688c;" (assignment_expression "param_1[5] = 0x9b05688c" (subscript_expression "param_1[5]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[6] = 0x1f83d9ab;" (assignment_expression "param_1[6] = 0x1f83d9ab" (subscript_expression "param_1[6]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[7] = 0x5be0cd19;" (assignment_expression "param_1[7] = 0x5be0cd19" (subscript_expression "param_1[7]" identifier [ number_literal ]) = number_literal) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (expression_statement (assignment_expression (pointer_expression * IDENT) = LIT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (return_statement return ;) })))
(function_definition "void FUN_0012bb16(undefined4 *param_1)\n\n{\n  *param_1 = 0x6a09e667;\n  param_1[1] = 0xbb67ae85;\n  param_1[2] = 0x3c6ef372;\n  param_1[3] = 0xa54ff53a;\n  param_1[4] = 0x510e527f;\n  param_1[5] = 0x9b05688c;\n  param_1[6] = 0x1f83d9ab;\n  param_1[7] = 0x5be0cd19;\n  return;\n}" (primitive_type "void") (function_declarator "FUN_0012bb16(undefined4 *param_1)" (identifier "FUN_0012bb16") (parameter_list "(undefined4 *param_1)" (( "(") (parameter_declaration "undefined4 *param_1" (type_identifier "undefined4") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) () ")"))) (compound_statement "{\n  *param_1 = 0x6a09e667;\n  param_1[1] = 0xbb67ae85;\n  param_1[2] = 0x3c6ef372;\n  param_1[3] = 0xa54ff53a;\n  param_1[4] = 0x510e527f;\n  param_1[5] = 0x9b05688c;\n  param_1[6] = 0x1f83d9ab;\n  param_1[7] = 0x5be0cd19;\n  return;\n}" ({ "{") (expression_statement "*param_1 = 0x6a09e667;" (assignment_expression "*param_1 = 0x6a09e667" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (number_literal "0x6a09e667")) (; ";")) (expression_statement "param_1[1] = 0xbb67ae85;" (assignment_expression "param_1[1] = 0xbb67ae85" (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")) (= "=") (number_literal "0xbb67ae85")) (; ";")) (expression_statement "param_1[2] = 0x3c6ef372;" (assignment_expression "param_1[2] = 0x3c6ef372" (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]")) (= "=") (number_literal "0x3c6ef372")) (; ";")) (expression_statement "param_1[3] = 0xa54ff53a;" (assignment_expression "param_1[3] = 0xa54ff53a" (subscript_expression "param_1[3]" (identifier "param_1") ([ "[") (number_literal "3") (] "]")) (= "=") (number_literal "0xa54ff53a")) (; ";")) (expression_statement "param_1[4] = 0x510e527f;" (assignment_expression "param_1[4] = 0x510e527f" (subscript_expression "param_1[4]" (identifier "param_1") ([ "[") (number_literal "4") (] "]")) (= "=") (number_literal "0x510e527f")) (; ";")) (expression_statement "param_1[5] = 0x9b05688c;" (assignment_expression "param_1[5] = 0x9b05688c" (subscript_expression "param_1[5]" (identifier "param_1") ([ "[") (number_literal "5") (] "]")) (= "=") (number_literal "0x9b05688c")) (; ";")) (expression_statement "param_1[6] = 0x1f83d9ab;" (assignment_expression "param_1[6] = 0x1f83d9ab" (subscript_expression "param_1[6]" (identifier "param_1") ([ "[") (number_literal "6") (] "]")) (= "=") (number_literal "0x1f83d9ab")) (; ";")) (expression_statement "param_1[7] = 0x5be0cd19;" (assignment_expression "param_1[7] = 0x5be0cd19" (subscript_expression "param_1[7]" (identifier "param_1") ([ "[") (number_literal "7") (] "]")) (= "=") (number_literal "0x5be0cd19")) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

/* WARNING: Unknown calling convention */

void function_1(type_1 *s)

{
  s->h[0] = 0x6a09e667;
  s->h[1] = 0xbb67ae85;
  s->h[2] = 0x3c6ef372;
  s->h[3] = 0xa54ff53a;
  s->h[4] = 0x510e527f;
  s->h[5] = 0x9b05688c;
  s->h[6] = 0x1f83d9ab;
  s->h[7] = 0x5be0cd19;
  return;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))))) body: (compound_statement (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (number_literal))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (number_literal))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (number_literal))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (number_literal))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (number_literal))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (number_literal))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (number_literal))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (number_literal))) (return_statement))))

void MASKED(undefined4 *param_1)

{
  *param_1 = 0x6a09e667;
  param_1[1] = 0xbb67ae85;
  param_1[2] = 0x3c6ef372;
  param_1[3] = 0xa54ff53a;
  param_1[4] = 0x510e527f;
  param_1[5] = 0x9b05688c;
  param_1[6] = 0x1f83d9ab;
  param_1[7] = 0x5be0cd19;
  return;
}

