
void print_double(size_t n_bytes,char *block,char *fmt_string)

{
  char *pcVar1;
  char *pcVar2;
  
  if (n_bytes >> 3 != 0) {
    pcVar1 = block;
    do {
      pcVar2 = pcVar1 + 8;
      (*(code *)PTR___printf_chk_0012ae30)
                (1,fmt_string,*(undefined4 *)pcVar1,*(undefined4 *)(pcVar1 + 4));
      pcVar1 = pcVar2;
    } while (block + (n_bytes >> 3) * 8 != pcVar2);
    return;
  }
  return;
}



void FUN_000bb95c(uint param_1,undefined4 *param_2,undefined4 param_3)

{
  undefined4 *puVar1;
  undefined4 *puVar2;
  
  if (param_1 >> 3 != 0) {
    puVar1 = param_2;
    do {
      puVar2 = puVar1 + 2;
      (*(code *)PTR___printf_chk_0012ae30)(1,param_3,*puVar1,puVar1[1]);
      puVar1 = puVar2;
    } while (param_2 + (param_1 >> 3) * 2 != puVar2);
    return;
  }
  return;
}


lui gp,0x7
addiu gp,gp,0x67f4
addu gp,gp,t9
srl a0,a0,0x3
beq a0,zero,0x000bb9d4
_sll a0,a0,0x3
addiu sp,sp,-0x28
sw s0,0x18(sp)
addu s0,a1,a0
sw s2,0x20(sp)
or s2,a2,zero
sw s1,0x1c(sp)
or s1,a1,zero
sw gp,0x10(sp)
sw ra,0x24(sp)
lw t9,-0x7320(gp)
li a0,0x1
lw a3,0x4(s1)
addiu s1,s1,0x8
lw a2,-0x8(s1)
jalr t9
_or a1,s2,zero
bne s0,s1,0x000bb998
_lw gp,0x10(sp)
lw ra,0x24(sp)
lw s2,0x20(sp)
lw s1,0x1c(sp)
lw s0,0x18(sp)
jr ra
_addiu sp,sp,0x28
jr ra
_nop
(translation_unit "void FUN_000bb95c(uint param_1,undefined4 *param_2,undefined4 param_3)\n\n{\n  undefined4 *puVar1;\n  undefined4 *puVar2;\n  \n  if (param_1 >> 3 != 0) {\n    puVar1 = param_2;\n    do {\n      puVar2 = puVar1 + 2;\n      (*(code *)PTR___printf_chk_0012ae30)(1,param_3,*puVar1,puVar1[1]);\n      puVar1 = puVar2;\n    } while (param_2 + (param_1 >> 3) * 2 != puVar2);\n    return;\n  }\n  return;\n}\n\n" (function_definition "void FUN_000bb95c(uint param_1,undefined4 *param_2,undefined4 param_3)\n\n{\n  undefined4 *puVar1;\n  undefined4 *puVar2;\n  \n  if (param_1 >> 3 != 0) {\n    puVar1 = param_2;\n    do {\n      puVar2 = puVar1 + 2;\n      (*(code *)PTR___printf_chk_0012ae30)(1,param_3,*puVar1,puVar1[1]);\n      puVar1 = puVar2;\n    } while (param_2 + (param_1 >> 3) * 2 != puVar2);\n    return;\n  }\n  return;\n}" primitive_type (function_declarator "FUN_000bb95c(uint param_1,undefined4 *param_2,undefined4 param_3)" identifier (parameter_list "(uint param_1,undefined4 *param_2,undefined4 param_3)" ( (parameter_declaration "uint param_1" type_identifier identifier) , (parameter_declaration "undefined4 *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "undefined4 param_3" type_identifier identifier) ))) (compound_statement "{\n  undefined4 *puVar1;\n  undefined4 *puVar2;\n  \n  if (param_1 >> 3 != 0) {\n    puVar1 = param_2;\n    do {\n      puVar2 = puVar1 + 2;\n      (*(code *)PTR___printf_chk_0012ae30)(1,param_3,*puVar1,puVar1[1]);\n      puVar1 = puVar2;\n    } while (param_2 + (param_1 >> 3) * 2 != puVar2);\n    return;\n  }\n  return;\n}" { (declaration "undefined4 *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "undefined4 *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (if_statement "if (param_1 >> 3 != 0) {\n    puVar1 = param_2;\n    do {\n      puVar2 = puVar1 + 2;\n      (*(code *)PTR___printf_chk_0012ae30)(1,param_3,*puVar1,puVar1[1]);\n      puVar1 = puVar2;\n    } while (param_2 + (param_1 >> 3) * 2 != puVar2);\n    return;\n  }" if (parenthesized_expression "(param_1 >> 3 != 0)" ( (binary_expression "param_1 >> 3 != 0" (binary_expression "param_1 >> 3" identifier >> number_literal) != number_literal) )) (compound_statement "{\n    puVar1 = param_2;\n    do {\n      puVar2 = puVar1 + 2;\n      (*(code *)PTR___printf_chk_0012ae30)(1,param_3,*puVar1,puVar1[1]);\n      puVar1 = puVar2;\n    } while (param_2 + (param_1 >> 3) * 2 != puVar2);\n    return;\n  }" { (expression_statement "puVar1 = param_2;" (assignment_expression "puVar1 = param_2" identifier = identifier) ;) (do_statement "do {\n      puVar2 = puVar1 + 2;\n      (*(code *)PTR___printf_chk_0012ae30)(1,param_3,*puVar1,puVar1[1]);\n      puVar1 = puVar2;\n    } while (param_2 + (param_1 >> 3) * 2 != puVar2);" do (compound_statement "{\n      puVar2 = puVar1 + 2;\n      (*(code *)PTR___printf_chk_0012ae30)(1,param_3,*puVar1,puVar1[1]);\n      puVar1 = puVar2;\n    }" { (expression_statement "puVar2 = puVar1 + 2;" (assignment_expression "puVar2 = puVar1 + 2" identifier = (binary_expression "puVar1 + 2" identifier + number_literal)) ;) (expression_statement "(*(code *)PTR___printf_chk_0012ae30)(1,param_3,*puVar1,puVar1[1]);" (call_expression "(*(code *)PTR___printf_chk_0012ae30)(1,param_3,*puVar1,puVar1[1])" (parenthesized_expression "(*(code *)PTR___printf_chk_0012ae30)" ( (pointer_expression "*(code *)PTR___printf_chk_0012ae30" * (cast_expression "(code *)PTR___printf_chk_0012ae30" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(1,param_3,*puVar1,puVar1[1])" ( number_literal , identifier , (pointer_expression "*puVar1" * identifier) , (subscript_expression "puVar1[1]" identifier [ number_literal ]) ))) ;) (expression_statement "puVar1 = puVar2;" (assignment_expression "puVar1 = puVar2" identifier = identifier) ;) }) while (parenthesized_expression "(param_2 + (param_1 >> 3) * 2 != puVar2)" ( (binary_expression "param_2 + (param_1 >> 3) * 2 != puVar2" (binary_expression "param_2 + (param_1 >> 3) * 2" identifier + (binary_expression "(param_1 >> 3) * 2" (parenthesized_expression "(param_1 >> 3)" ( (binary_expression "param_1 >> 3" identifier >> number_literal) )) * number_literal)) != identifier) )) ;) (return_statement "return;" return ;) })) (return_statement "return;" return ;) })))
(translation_unit "void print_double(size_t n_bytes,char *block,char *fmt_string)\n\n{\n  char *pcVar1;\n  char *pcVar2;\n  \n  if (n_bytes >> 3 != 0) {\n    pcVar1 = block;\n    do {\n      pcVar2 = pcVar1 + 8;\n      (*(code *)PTR___printf_chk_0012ae30)\n                (1,fmt_string,*(undefined4 *)pcVar1,*(undefined4 *)(pcVar1 + 4));\n      pcVar1 = pcVar2;\n    } while (block + (n_bytes >> 3) * 8 != pcVar2);\n    return;\n  }\n  return;\n}\n\n" (function_definition "void print_double(size_t n_bytes,char *block,char *fmt_string)\n\n{\n  char *pcVar1;\n  char *pcVar2;\n  \n  if (n_bytes >> 3 != 0) {\n    pcVar1 = block;\n    do {\n      pcVar2 = pcVar1 + 8;\n      (*(code *)PTR___printf_chk_0012ae30)\n                (1,fmt_string,*(undefined4 *)pcVar1,*(undefined4 *)(pcVar1 + 4));\n      pcVar1 = pcVar2;\n    } while (block + (n_bytes >> 3) * 8 != pcVar2);\n    return;\n  }\n  return;\n}" primitive_type (function_declarator "print_double(size_t n_bytes,char *block,char *fmt_string)" identifier (parameter_list "(size_t n_bytes,char *block,char *fmt_string)" ( (parameter_declaration "size_t n_bytes" primitive_type identifier) , (parameter_declaration "char *block" primitive_type (pointer_declarator "*block" * identifier)) , (parameter_declaration "char *fmt_string" primitive_type (pointer_declarator "*fmt_string" * identifier)) ))) (compound_statement "{\n  char *pcVar1;\n  char *pcVar2;\n  \n  if (n_bytes >> 3 != 0) {\n    pcVar1 = block;\n    do {\n      pcVar2 = pcVar1 + 8;\n      (*(code *)PTR___printf_chk_0012ae30)\n                (1,fmt_string,*(undefined4 *)pcVar1,*(undefined4 *)(pcVar1 + 4));\n      pcVar1 = pcVar2;\n    } while (block + (n_bytes >> 3) * 8 != pcVar2);\n    return;\n  }\n  return;\n}" { (declaration "char *pcVar1;" primitive_type (pointer_declarator "*pcVar1" * identifier) ;) (declaration "char *pcVar2;" primitive_type (pointer_declarator "*pcVar2" * identifier) ;) (if_statement "if (n_bytes >> 3 != 0) {\n    pcVar1 = block;\n    do {\n      pcVar2 = pcVar1 + 8;\n      (*(code *)PTR___printf_chk_0012ae30)\n                (1,fmt_string,*(undefined4 *)pcVar1,*(undefined4 *)(pcVar1 + 4));\n      pcVar1 = pcVar2;\n    } while (block + (n_bytes >> 3) * 8 != pcVar2);\n    return;\n  }" if (parenthesized_expression "(n_bytes >> 3 != 0)" ( (binary_expression "n_bytes >> 3 != 0" (binary_expression "n_bytes >> 3" identifier >> number_literal) != number_literal) )) (compound_statement "{\n    pcVar1 = block;\n    do {\n      pcVar2 = pcVar1 + 8;\n      (*(code *)PTR___printf_chk_0012ae30)\n                (1,fmt_string,*(undefined4 *)pcVar1,*(undefined4 *)(pcVar1 + 4));\n      pcVar1 = pcVar2;\n    } while (block + (n_bytes >> 3) * 8 != pcVar2);\n    return;\n  }" { (expression_statement "pcVar1 = block;" (assignment_expression "pcVar1 = block" identifier = identifier) ;) (do_statement "do {\n      pcVar2 = pcVar1 + 8;\n      (*(code *)PTR___printf_chk_0012ae30)\n                (1,fmt_string,*(undefined4 *)pcVar1,*(undefined4 *)(pcVar1 + 4));\n      pcVar1 = pcVar2;\n    } while (block + (n_bytes >> 3) * 8 != pcVar2);" do (compound_statement "{\n      pcVar2 = pcVar1 + 8;\n      (*(code *)PTR___printf_chk_0012ae30)\n                (1,fmt_string,*(undefined4 *)pcVar1,*(undefined4 *)(pcVar1 + 4));\n      pcVar1 = pcVar2;\n    }" { (expression_statement "pcVar2 = pcVar1 + 8;" (assignment_expression "pcVar2 = pcVar1 + 8" identifier = (binary_expression "pcVar1 + 8" identifier + number_literal)) ;) (expression_statement "(*(code *)PTR___printf_chk_0012ae30)\n                (1,fmt_string,*(undefined4 *)pcVar1,*(undefined4 *)(pcVar1 + 4));" (call_expression "(*(code *)PTR___printf_chk_0012ae30)\n                (1,fmt_string,*(undefined4 *)pcVar1,*(undefined4 *)(pcVar1 + 4))" (parenthesized_expression "(*(code *)PTR___printf_chk_0012ae30)" ( (pointer_expression "*(code *)PTR___printf_chk_0012ae30" * (cast_expression "(code *)PTR___printf_chk_0012ae30" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(1,fmt_string,*(undefined4 *)pcVar1,*(undefined4 *)(pcVar1 + 4))" ( number_literal , identifier , (pointer_expression "*(undefined4 *)pcVar1" * (cast_expression "(undefined4 *)pcVar1" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) , (pointer_expression "*(undefined4 *)(pcVar1 + 4)" * (cast_expression "(undefined4 *)(pcVar1 + 4)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(pcVar1 + 4)" ( (binary_expression "pcVar1 + 4" identifier + number_literal) )))) ))) ;) (expression_statement "pcVar1 = pcVar2;" (assignment_expression "pcVar1 = pcVar2" identifier = identifier) ;) }) while (parenthesized_expression "(block + (n_bytes >> 3) * 8 != pcVar2)" ( (binary_expression "block + (n_bytes >> 3) * 8 != pcVar2" (binary_expression "block + (n_bytes >> 3) * 8" identifier + (binary_expression "(n_bytes >> 3) * 8" (parenthesized_expression "(n_bytes >> 3)" ( (binary_expression "n_bytes >> 3" identifier >> number_literal) )) * number_literal)) != identifier) )) ;) (return_statement "return;" return ;) })) (return_statement "return;" return ;) })))
(translation_unit "void FUN_000bb95c(uint param_1,undefined4 *param_2,undefined4 param_3)\n\n{\n  undefined4 *puVar1;\n  undefined4 *puVar2;\n  \n  if (param_1 >> 3 != 0) {\n    puVar1 = param_2;\n    do {\n      puVar2 = puVar1 + 2;\n      (*(code *)PTR___printf_chk_0012ae30)(1,param_3,*puVar1,puVar1[1]);\n      puVar1 = puVar2;\n    } while (param_2 + (param_1 >> 3) * 2 != puVar2);\n    return;\n  }\n  return;\n}\n\n" (function_definition "void FUN_000bb95c(uint param_1,undefined4 *param_2,undefined4 param_3)\n\n{\n  undefined4 *puVar1;\n  undefined4 *puVar2;\n  \n  if (param_1 >> 3 != 0) {\n    puVar1 = param_2;\n    do {\n      puVar2 = puVar1 + 2;\n      (*(code *)PTR___printf_chk_0012ae30)(1,param_3,*puVar1,puVar1[1]);\n      puVar1 = puVar2;\n    } while (param_2 + (param_1 >> 3) * 2 != puVar2);\n    return;\n  }\n  return;\n}" primitive_type (function_declarator "FUN_000bb95c(uint param_1,undefined4 *param_2,undefined4 param_3)" identifier (parameter_list "(uint param_1,undefined4 *param_2,undefined4 param_3)" ( (parameter_declaration "uint param_1" type_identifier identifier) , (parameter_declaration "undefined4 *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "undefined4 param_3" type_identifier identifier) ))) (compound_statement "{\n  undefined4 *puVar1;\n  undefined4 *puVar2;\n  \n  if (param_1 >> 3 != 0) {\n    puVar1 = param_2;\n    do {\n      puVar2 = puVar1 + 2;\n      (*(code *)PTR___printf_chk_0012ae30)(1,param_3,*puVar1,puVar1[1]);\n      puVar1 = puVar2;\n    } while (param_2 + (param_1 >> 3) * 2 != puVar2);\n    return;\n  }\n  return;\n}" { (declaration "undefined4 *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "undefined4 *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (if_statement "if (param_1 >> 3 != 0) {\n    puVar1 = param_2;\n    do {\n      puVar2 = puVar1 + 2;\n      (*(code *)PTR___printf_chk_0012ae30)(1,param_3,*puVar1,puVar1[1]);\n      puVar1 = puVar2;\n    } while (param_2 + (param_1 >> 3) * 2 != puVar2);\n    return;\n  }" if (parenthesized_expression "(param_1 >> 3 != 0)" ( (binary_expression "param_1 >> 3 != 0" (binary_expression "param_1 >> 3" identifier >> number_literal) != number_literal) )) (compound_statement "{\n    puVar1 = param_2;\n    do {\n      puVar2 = puVar1 + 2;\n      (*(code *)PTR___printf_chk_0012ae30)(1,param_3,*puVar1,puVar1[1]);\n      puVar1 = puVar2;\n    } while (param_2 + (param_1 >> 3) * 2 != puVar2);\n    return;\n  }" { (expression_statement "puVar1 = param_2;" (assignment_expression "puVar1 = param_2" identifier = identifier) ;) (do_statement "do {\n      puVar2 = puVar1 + 2;\n      (*(code *)PTR___printf_chk_0012ae30)(1,param_3,*puVar1,puVar1[1]);\n      puVar1 = puVar2;\n    } while (param_2 + (param_1 >> 3) * 2 != puVar2);" do (compound_statement "{\n      puVar2 = puVar1 + 2;\n      (*(code *)PTR___printf_chk_0012ae30)(1,param_3,*puVar1,puVar1[1]);\n      puVar1 = puVar2;\n    }" { (expression_statement "puVar2 = puVar1 + 2;" (assignment_expression "puVar2 = puVar1 + 2" identifier = (binary_expression "puVar1 + 2" identifier + number_literal)) ;) (expression_statement "(*(code *)PTR___printf_chk_0012ae30)(1,param_3,*puVar1,puVar1[1]);" (call_expression "(*(code *)PTR___printf_chk_0012ae30)(1,param_3,*puVar1,puVar1[1])" (parenthesized_expression "(*(code *)PTR___printf_chk_0012ae30)" ( (pointer_expression "*(code *)PTR___printf_chk_0012ae30" * (cast_expression "(code *)PTR___printf_chk_0012ae30" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(1,param_3,*puVar1,puVar1[1])" ( number_literal , identifier , (pointer_expression "*puVar1" * identifier) , (subscript_expression "puVar1[1]" identifier [ number_literal ]) ))) ;) (expression_statement "puVar1 = puVar2;" (assignment_expression "puVar1 = puVar2" identifier = identifier) ;) }) while (parenthesized_expression "(param_2 + (param_1 >> 3) * 2 != puVar2)" ( (binary_expression "param_2 + (param_1 >> 3) * 2 != puVar2" (binary_expression "param_2 + (param_1 >> 3) * 2" identifier + (binary_expression "(param_1 >> 3) * 2" (parenthesized_expression "(param_1 >> 3)" ( (binary_expression "param_1 >> 3" identifier >> number_literal) )) * number_literal)) != identifier) )) ;) (return_statement "return;" return ;) })) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression (binary_expression IDENT >> LIT) != LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( LIT , IDENT , (pointer_expression * IDENT) , (subscript_expression IDENT [ LIT ]) ))) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) }) while (parenthesized_expression ( (binary_expression (binary_expression IDENT + (binary_expression (parenthesized_expression ( (binary_expression IDENT >> LIT) )) * LIT)) != IDENT) )) ;) (return_statement return ;) })) (return_statement return ;) })))
(function_definition "void FUN_000bb95c(uint param_1,undefined4 *param_2,undefined4 param_3)\n\n{\n  undefined4 *puVar1;\n  undefined4 *puVar2;\n  \n  if (param_1 >> 3 != 0) {\n    puVar1 = param_2;\n    do {\n      puVar2 = puVar1 + 2;\n      (*(code *)PTR___printf_chk_0012ae30)(1,param_3,*puVar1,puVar1[1]);\n      puVar1 = puVar2;\n    } while (param_2 + (param_1 >> 3) * 2 != puVar2);\n    return;\n  }\n  return;\n}" (primitive_type "void") (function_declarator "FUN_000bb95c(uint param_1,undefined4 *param_2,undefined4 param_3)" (identifier "FUN_000bb95c") (parameter_list "(uint param_1,undefined4 *param_2,undefined4 param_3)" (( "(") (parameter_declaration "uint param_1" (type_identifier "uint") (identifier "param_1")) (, ",") (parameter_declaration "undefined4 *param_2" (type_identifier "undefined4") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) (, ",") (parameter_declaration "undefined4 param_3" (type_identifier "undefined4") (identifier "param_3")) () ")"))) (compound_statement "{\n  undefined4 *puVar1;\n  undefined4 *puVar2;\n  \n  if (param_1 >> 3 != 0) {\n    puVar1 = param_2;\n    do {\n      puVar2 = puVar1 + 2;\n      (*(code *)PTR___printf_chk_0012ae30)(1,param_3,*puVar1,puVar1[1]);\n      puVar1 = puVar2;\n    } while (param_2 + (param_1 >> 3) * 2 != puVar2);\n    return;\n  }\n  return;\n}" ({ "{") (declaration "undefined4 *puVar1;" (type_identifier "undefined4") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (declaration "undefined4 *puVar2;" (type_identifier "undefined4") (pointer_declarator "*puVar2" (* "*") (identifier "puVar2")) (; ";")) (if_statement "if (param_1 >> 3 != 0) {\n    puVar1 = param_2;\n    do {\n      puVar2 = puVar1 + 2;\n      (*(code *)PTR___printf_chk_0012ae30)(1,param_3,*puVar1,puVar1[1]);\n      puVar1 = puVar2;\n    } while (param_2 + (param_1 >> 3) * 2 != puVar2);\n    return;\n  }" (if "if") (parenthesized_expression "(param_1 >> 3 != 0)" (( "(") (binary_expression "param_1 >> 3 != 0" (binary_expression "param_1 >> 3" (identifier "param_1") (>> ">>") (number_literal "3")) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n    puVar1 = param_2;\n    do {\n      puVar2 = puVar1 + 2;\n      (*(code *)PTR___printf_chk_0012ae30)(1,param_3,*puVar1,puVar1[1]);\n      puVar1 = puVar2;\n    } while (param_2 + (param_1 >> 3) * 2 != puVar2);\n    return;\n  }" ({ "{") (expression_statement "puVar1 = param_2;" (assignment_expression "puVar1 = param_2" (identifier "puVar1") (= "=") (identifier "param_2")) (; ";")) (do_statement "do {\n      puVar2 = puVar1 + 2;\n      (*(code *)PTR___printf_chk_0012ae30)(1,param_3,*puVar1,puVar1[1]);\n      puVar1 = puVar2;\n    } while (param_2 + (param_1 >> 3) * 2 != puVar2);" (do "do") (compound_statement "{\n      puVar2 = puVar1 + 2;\n      (*(code *)PTR___printf_chk_0012ae30)(1,param_3,*puVar1,puVar1[1]);\n      puVar1 = puVar2;\n    }" ({ "{") (expression_statement "puVar2 = puVar1 + 2;" (assignment_expression "puVar2 = puVar1 + 2" (identifier "puVar2") (= "=") (binary_expression "puVar1 + 2" (identifier "puVar1") (+ "+") (number_literal "2"))) (; ";")) (expression_statement "(*(code *)PTR___printf_chk_0012ae30)(1,param_3,*puVar1,puVar1[1]);" (call_expression "(*(code *)PTR___printf_chk_0012ae30)(1,param_3,*puVar1,puVar1[1])" (parenthesized_expression "(*(code *)PTR___printf_chk_0012ae30)" (( "(") (pointer_expression "*(code *)PTR___printf_chk_0012ae30" (* "*") (cast_expression "(code *)PTR___printf_chk_0012ae30" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___printf_chk_0012ae30"))) () ")")) (argument_list "(1,param_3,*puVar1,puVar1[1])" (( "(") (number_literal "1") (, ",") (identifier "param_3") (, ",") (pointer_expression "*puVar1" (* "*") (identifier "puVar1")) (, ",") (subscript_expression "puVar1[1]" (identifier "puVar1") ([ "[") (number_literal "1") (] "]")) () ")"))) (; ";")) (expression_statement "puVar1 = puVar2;" (assignment_expression "puVar1 = puVar2" (identifier "puVar1") (= "=") (identifier "puVar2")) (; ";")) (} "}")) (while "while") (parenthesized_expression "(param_2 + (param_1 >> 3) * 2 != puVar2)" (( "(") (binary_expression "param_2 + (param_1 >> 3) * 2 != puVar2" (binary_expression "param_2 + (param_1 >> 3) * 2" (identifier "param_2") (+ "+") (binary_expression "(param_1 >> 3) * 2" (parenthesized_expression "(param_1 >> 3)" (( "(") (binary_expression "param_1 >> 3" (identifier "param_1") (>> ">>") (number_literal "3")) () ")")) (* "*") (number_literal "2"))) (!= "!=") (identifier "puVar2")) () ")")) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}"))) (return_statement "return;" (return "return") (; ";")) (} "}")))

void function_1(size_t var_1,char *var_3,char *fmt_string)

{
  char *var_2;
  char *var_4;
  
  if (var_1 >> 3 != 0) {
    var_2 = var_3;
    do {
      var_4 = var_2 + 8;
      (*(type_1 *)PTR___printf_chk_0012ae30)
                (1,fmt_string,*(type_2 *)var_2,*(type_2 *)(var_2 + 4));
      var_2 = var_4;
    } while (var_3 + (var_1 >> 3) * 8 != var_4);
    return;
  }
  return;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (type_identifier) declarator: (identifier)) (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: (pointer_declarator declarator: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (identifier))) (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (call_expression function: (parenthesized_expression (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))) arguments: (argument_list (number_literal) (identifier) (pointer_expression argument: (identifier)) (subscript_expression argument: (identifier) index: (number_literal))))) (expression_statement (assignment_expression left: (identifier) right: (identifier)))) condition: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (number_literal))) right: (identifier)))) (return_statement))) (return_statement))))

void MASKED(uint param_1,undefined4 *param_2,undefined4 param_3)

{
  undefined4 *puVar1;
  undefined4 *puVar2;
  
  if (param_1 >> 3 != 0) {
    puVar1 = param_2;
    do {
      puVar2 = puVar1 + 2;
      (*(code *)PTR___printf_chk_0012ae30)(1,param_3,*puVar1,puVar1[1]);
      puVar1 = puVar2;
    } while (param_2 + (param_1 >> 3) * 2 != puVar2);
    return;
  }
  return;
}

