
/* std::time_put<wchar_t, std::ostreambuf_iterator<wchar_t, std::char_traits<wchar_t> >
   >::~time_put() */

void __thiscall
std::time_put<wchar_t,std::ostreambuf_iterator<wchar_t,std::char_traits<wchar_t>>>::~time_put
          (time_put<wchar_t,std::ostreambuf_iterator<wchar_t,std::char_traits<wchar_t>>> *this)

{
  undefined *UNRECOVERED_JUMPTABLE;
  
  UNRECOVERED_JUMPTABLE = PTR__facet_00432288;
                    /* WARNING: Could not recover jumptable at 0x0031e2f8. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  *(undefined **)this = PTR_vtable_00433a0c + 8;
  (*(code *)UNRECOVERED_JUMPTABLE)();
  return;
}



void FUN_0031e2e0(undefined4 *param_1)

{
  undefined *UNRECOVERED_JUMPTABLE;
  
  UNRECOVERED_JUMPTABLE = PTR__facet_00432288;
                    /* WARNING: Could not recover jumptable at 0x0031e2f8. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  *param_1 = PTR_vtable_00433a0c + 8;
  (*(code *)UNRECOVERED_JUMPTABLE)();
  return;
}


lui gp,0x12
addiu gp,gp,-0x4110
addu gp,gp,t9
lw v0,-0x67c4(gp)
lw t9,-0x7f48(gp)
addiu v0,v0,0x8
jr t9
_sw v0,0x0(a0)
(translation_unit "void FUN_0031e2e0(undefined4 *param_1)\n\n{\n  undefined *UNRECOVERED_JUMPTABLE;\n  \n  UNRECOVERED_JUMPTABLE = PTR__facet_00432288;\n                    /* WARNING: Could not recover jumptable at 0x0031e2f8. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  *param_1 = PTR_vtable_00433a0c + 8;\n  (*(code *)UNRECOVERED_JUMPTABLE)();\n  return;\n}\n\n" (function_definition "void FUN_0031e2e0(undefined4 *param_1)\n\n{\n  undefined *UNRECOVERED_JUMPTABLE;\n  \n  UNRECOVERED_JUMPTABLE = PTR__facet_00432288;\n                    /* WARNING: Could not recover jumptable at 0x0031e2f8. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  *param_1 = PTR_vtable_00433a0c + 8;\n  (*(code *)UNRECOVERED_JUMPTABLE)();\n  return;\n}" primitive_type (function_declarator "FUN_0031e2e0(undefined4 *param_1)" identifier (parameter_list "(undefined4 *param_1)" ( (parameter_declaration "undefined4 *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  undefined *UNRECOVERED_JUMPTABLE;\n  \n  UNRECOVERED_JUMPTABLE = PTR__facet_00432288;\n                    /* WARNING: Could not recover jumptable at 0x0031e2f8. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  *param_1 = PTR_vtable_00433a0c + 8;\n  (*(code *)UNRECOVERED_JUMPTABLE)();\n  return;\n}" { (declaration "undefined *UNRECOVERED_JUMPTABLE;" type_identifier (pointer_declarator "*UNRECOVERED_JUMPTABLE" * identifier) ;) (expression_statement "UNRECOVERED_JUMPTABLE = PTR__facet_00432288;" (assignment_expression "UNRECOVERED_JUMPTABLE = PTR__facet_00432288" identifier = identifier) ;) comment comment (expression_statement "*param_1 = PTR_vtable_00433a0c + 8;" (assignment_expression "*param_1 = PTR_vtable_00433a0c + 8" (pointer_expression "*param_1" * identifier) = (binary_expression "PTR_vtable_00433a0c + 8" identifier + number_literal)) ;) (expression_statement "(*(code *)UNRECOVERED_JUMPTABLE)();" (call_expression "(*(code *)UNRECOVERED_JUMPTABLE)()" (parenthesized_expression "(*(code *)UNRECOVERED_JUMPTABLE)" ( (pointer_expression "*(code *)UNRECOVERED_JUMPTABLE" * (cast_expression "(code *)UNRECOVERED_JUMPTABLE" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( ))) ;) (return_statement "return;" return ;) })))
(translation_unit "/* std::time_put<wchar_t, std::ostreambuf_iterator<wchar_t, std::char_traits<wchar_t> >\n   >::~time_put() */\n\nvoid __thiscall\nstd::time_put<wchar_t,std::ostreambuf_iterator<wchar_t,std::char_traits<wchar_t>>>::~time_put\n          (time_put<wchar_t,std::ostreambuf_iterator<wchar_t,std::char_traits<wchar_t>>> *this)\n\n{\n  undefined *UNRECOVERED_JUMPTABLE;\n  \n  UNRECOVERED_JUMPTABLE = PTR__facet_00432288;\n                    /* WARNING: Could not recover jumptable at 0x0031e2f8. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  *(undefined **)this = PTR_vtable_00433a0c + 8;\n  (*(code *)UNRECOVERED_JUMPTABLE)();\n  return;\n}\n\n" comment (declaration "void __thiscall\nstd::time_put<wchar_t,std::ostreambuf_iterator<wchar_t,std::char_traits<wchar_t>>>::~time_put\n          (time_put<wchar_t,std::ostreambuf_iterator<wchar_t,std::char_traits<wchar_t>>> *this)\n\n{\n  undefined *UNRECOVERED_JUMPTABLE;" primitive_type (ms_call_modifier "__thiscall" __thiscall) (ERROR "std::time_put<" identifier : : identifier <) identifier , (ERROR "std::ostreambuf_iterator<" identifier : : identifier <) identifier , (ERROR "std::char_traits<wchar_t>>>::~time_put\n          (time_put<wchar_t,std::ostreambuf_iterator<wchar_t,std::char_traits<wchar_t>>> *this)\n\n{\n  undefined" identifier : : identifier < identifier >> > : : ~ (function_declarator "time_put\n          (time_put<wchar_t,std::ostreambuf_iterator<wchar_t,std::char_traits<wchar_t>>> *this)" identifier (parameter_list "(time_put<wchar_t,std::ostreambuf_iterator<wchar_t,std::char_traits<wchar_t>>> *this)" ( (parameter_declaration "time_put<wchar_t" type_identifier (ERROR "<" <) identifier) , (parameter_declaration "std::ostreambuf_iterator<wchar_t" type_identifier (ERROR "::ostreambuf_iterator<" : : identifier <) identifier) , (parameter_declaration "std::char_traits<wchar_t>>> *this" type_identifier (ERROR "::char_traits<wchar_t>>>" : : identifier < identifier >> >) (pointer_declarator "*this" * identifier)) ))) { identifier) (pointer_declarator "*UNRECOVERED_JUMPTABLE" * identifier) ;) (expression_statement "UNRECOVERED_JUMPTABLE = PTR__facet_00432288;" (assignment_expression "UNRECOVERED_JUMPTABLE = PTR__facet_00432288" identifier = identifier) ;) comment comment (expression_statement "*(undefined **)this = PTR_vtable_00433a0c + 8;" (assignment_expression "*(undefined **)this = PTR_vtable_00433a0c + 8" (pointer_expression "*(undefined **)this" * (cast_expression "(undefined **)this" ( (type_descriptor "undefined **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) = (binary_expression "PTR_vtable_00433a0c + 8" identifier + number_literal)) ;) (expression_statement "(*(code *)UNRECOVERED_JUMPTABLE)();" (call_expression "(*(code *)UNRECOVERED_JUMPTABLE)()" (parenthesized_expression "(*(code *)UNRECOVERED_JUMPTABLE)" ( (pointer_expression "*(code *)UNRECOVERED_JUMPTABLE" * (cast_expression "(code *)UNRECOVERED_JUMPTABLE" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( ))) ;) (return_statement "return;" return ;) (ERROR "}" }))
(translation_unit "void FUN_0031e2e0(undefined4 *param_1)\n\n{\n  undefined *UNRECOVERED_JUMPTABLE;\n  \n  UNRECOVERED_JUMPTABLE = PTR__facet_00432288;\n                    \n                    \n  *param_1 = PTR_vtable_00433a0c + 8;\n  (*(code *)UNRECOVERED_JUMPTABLE)();\n  return;\n}\n\n" (function_definition "void FUN_0031e2e0(undefined4 *param_1)\n\n{\n  undefined *UNRECOVERED_JUMPTABLE;\n  \n  UNRECOVERED_JUMPTABLE = PTR__facet_00432288;\n                    \n                    \n  *param_1 = PTR_vtable_00433a0c + 8;\n  (*(code *)UNRECOVERED_JUMPTABLE)();\n  return;\n}" primitive_type (function_declarator "FUN_0031e2e0(undefined4 *param_1)" identifier (parameter_list "(undefined4 *param_1)" ( (parameter_declaration "undefined4 *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  undefined *UNRECOVERED_JUMPTABLE;\n  \n  UNRECOVERED_JUMPTABLE = PTR__facet_00432288;\n                    \n                    \n  *param_1 = PTR_vtable_00433a0c + 8;\n  (*(code *)UNRECOVERED_JUMPTABLE)();\n  return;\n}" { (declaration "undefined *UNRECOVERED_JUMPTABLE;" type_identifier (pointer_declarator "*UNRECOVERED_JUMPTABLE" * identifier) ;) (expression_statement "UNRECOVERED_JUMPTABLE = PTR__facet_00432288;" (assignment_expression "UNRECOVERED_JUMPTABLE = PTR__facet_00432288" identifier = identifier) ;) (expression_statement "*param_1 = PTR_vtable_00433a0c + 8;" (assignment_expression "*param_1 = PTR_vtable_00433a0c + 8" (pointer_expression "*param_1" * identifier) = (binary_expression "PTR_vtable_00433a0c + 8" identifier + number_literal)) ;) (expression_statement "(*(code *)UNRECOVERED_JUMPTABLE)();" (call_expression "(*(code *)UNRECOVERED_JUMPTABLE)()" (parenthesized_expression "(*(code *)UNRECOVERED_JUMPTABLE)" ( (pointer_expression "*(code *)UNRECOVERED_JUMPTABLE" * (cast_expression "(code *)UNRECOVERED_JUMPTABLE" ( (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 (pointer_declarator * IDENT)) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (assignment_expression (pointer_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 ( ))) ;) (return_statement return ;) })))
(function_definition "void FUN_0031e2e0(undefined4 *param_1)\n\n{\n  undefined *UNRECOVERED_JUMPTABLE;\n  \n  UNRECOVERED_JUMPTABLE = PTR__facet_00432288;\n                    \n                    \n  *param_1 = PTR_vtable_00433a0c + 8;\n  (*(code *)UNRECOVERED_JUMPTABLE)();\n  return;\n}" (primitive_type "void") (function_declarator "FUN_0031e2e0(undefined4 *param_1)" (identifier "FUN_0031e2e0") (parameter_list "(undefined4 *param_1)" (( "(") (parameter_declaration "undefined4 *param_1" (type_identifier "undefined4") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) () ")"))) (compound_statement "{\n  undefined *UNRECOVERED_JUMPTABLE;\n  \n  UNRECOVERED_JUMPTABLE = PTR__facet_00432288;\n                    \n                    \n  *param_1 = PTR_vtable_00433a0c + 8;\n  (*(code *)UNRECOVERED_JUMPTABLE)();\n  return;\n}" ({ "{") (declaration "undefined *UNRECOVERED_JUMPTABLE;" (type_identifier "undefined") (pointer_declarator "*UNRECOVERED_JUMPTABLE" (* "*") (identifier "UNRECOVERED_JUMPTABLE")) (; ";")) (expression_statement "UNRECOVERED_JUMPTABLE = PTR__facet_00432288;" (assignment_expression "UNRECOVERED_JUMPTABLE = PTR__facet_00432288" (identifier "UNRECOVERED_JUMPTABLE") (= "=") (identifier "PTR__facet_00432288")) (; ";")) (expression_statement "*param_1 = PTR_vtable_00433a0c + 8;" (assignment_expression "*param_1 = PTR_vtable_00433a0c + 8" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (binary_expression "PTR_vtable_00433a0c + 8" (identifier "PTR_vtable_00433a0c") (+ "+") (number_literal "8"))) (; ";")) (expression_statement "(*(code *)UNRECOVERED_JUMPTABLE)();" (call_expression "(*(code *)UNRECOVERED_JUMPTABLE)()" (parenthesized_expression "(*(code *)UNRECOVERED_JUMPTABLE)" (( "(") (pointer_expression "*(code *)UNRECOVERED_JUMPTABLE" (* "*") (cast_expression "(code *)UNRECOVERED_JUMPTABLE" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "UNRECOVERED_JUMPTABLE"))) () ")")) (argument_list "()" (( "(") () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

/* std::time_put<wchar_t, std::ostreambuf_iterator<wchar_t, std::char_traits<wchar_t> >
   >::~time_put() */

void __thiscall
std::time_put<wchar_t,std::ostreambuf_iterator<wchar_t,std::char_traits<wchar_t>>>::~time_put
          (time_put<wchar_t,std::ostreambuf_iterator<wchar_t,std::char_traits<wchar_t>>> *this)

{
  type_1 *UNRECOVERED_JUMPTABLE;
  
  UNRECOVERED_JUMPTABLE = PTR__facet_00432288;
                    /* WARNING: Could not recover jumptable at 0x0031e2f8. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  *(type_1 **)this = var_1 + 8;
  (*(type_2 *)UNRECOVERED_JUMPTABLE)();
  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 (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (expression_statement (assignment_expression left: (pointer_expression argument: (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))) (return_statement))))

void MASKED(undefined4 *param_1)

{
  undefined *UNRECOVERED_JUMPTABLE;
  
  UNRECOVERED_JUMPTABLE = PTR__facet_00432288;
                    /* WARNING: Could not recover jumptable at 0x0031e2f8. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  *param_1 = PTR_vtable_00433a0c + 8;
  (*(code *)UNRECOVERED_JUMPTABLE)();
  return;
}

