
/* stdio_filebuf<char, std::char_traits<char> >::~stdio_filebuf() */

void __thiscall
stdio_filebuf<char,std::char_traits<char>>::~stdio_filebuf
          (stdio_filebuf<char,std::char_traits<char>> *this)

{
  undefined *UNRECOVERED_JUMPTABLE;
  
  *(undefined **)this = PTR_vtable_00433078 + 8;
  std::filebuf::close((filebuf *)this);
  (*(code *)PTR____basic_file_0043307c)(this + 0x38);
  UNRECOVERED_JUMPTABLE = PTR__locale_00433084;
  *(undefined **)this = PTR_vtable_00433080 + 8;
                    /* WARNING: Could not recover jumptable at 0x002f9a8c. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (*(code *)UNRECOVERED_JUMPTABLE)(this + 0x1c);
  return;
}



/* stdio_filebuf<char, std::char_traits<char> >::~stdio_filebuf() */

void __thiscall
stdio_filebuf<char,std::char_traits<char>>::~stdio_filebuf
          (stdio_filebuf<char,std::char_traits<char>> *this)

{
  undefined *UNRECOVERED_JUMPTABLE;
  
  *(undefined **)this = PTR_vtable_00433078 + 8;
  std::filebuf::close((filebuf *)this);
  (*(code *)PTR____basic_file_0043307c)(this + 0x38);
  UNRECOVERED_JUMPTABLE = PTR__locale_00433084;
  *(undefined **)this = PTR_vtable_00433080 + 8;
                    /* WARNING: Could not recover jumptable at 0x002f9a8c. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (*(code *)UNRECOVERED_JUMPTABLE)(this + 0x1c);
  return;
}


lui gp,0x14
addiu gp,gp,0x7a8
addu gp,gp,t9
lw v0,-0x7158(gp)
addiu sp,sp,-0x20
lw t9,-0x715c(gp)
addiu v0,v0,0x8
sw gp,0x10(sp)
sw ra,0x1c(sp)
sw s0,0x18(sp)
or s0,a0,zero
bal 0x002ee7e8
_sw v0,0x0(a0)
lw gp,0x10(sp)
lw t9,-0x7154(gp)
jalr t9
_addiu a0,s0,0x38
addiu a0,s0,0x1c
lw gp,0x10(sp)
lw ra,0x1c(sp)
lw v0,-0x7150(gp)
lw t9,-0x714c(gp)
addiu v0,v0,0x8
sw v0,0x0(s0)
lw s0,0x18(sp)
jr t9
_addiu sp,sp,0x20
(translation_unit "/* stdio_filebuf<char, std::char_traits<char> >::~stdio_filebuf() */\n\nvoid __thiscall\nstdio_filebuf<char,std::char_traits<char>>::~stdio_filebuf\n          (stdio_filebuf<char,std::char_traits<char>> *this)\n\n{\n  undefined *UNRECOVERED_JUMPTABLE;\n  \n  *(undefined **)this = PTR_vtable_00433078 + 8;\n  std::filebuf::close((filebuf *)this);\n  (*(code *)PTR____basic_file_0043307c)(this + 0x38);\n  UNRECOVERED_JUMPTABLE = PTR__locale_00433084;\n  *(undefined **)this = PTR_vtable_00433080 + 8;\n                    /* WARNING: Could not recover jumptable at 0x002f9a8c. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)UNRECOVERED_JUMPTABLE)(this + 0x1c);\n  return;\n}\n\n" comment (declaration "void __thiscall\nstdio_filebuf<char,std::char_traits<char>>::~stdio_filebuf\n          (stdio_filebuf<char,std::char_traits<char>> *this)\n\n{\n  undefined *UNRECOVERED_JUMPTABLE;" primitive_type (ms_call_modifier "__thiscall" __thiscall) identifier (ERROR "<char" < primitive_type) , (ERROR "std::char_traits<char>>::~stdio_filebuf\n          (stdio_filebuf<char,std::char_traits<char>> *this)\n\n{\n  undefined" identifier : : identifier < primitive_type >> : : ~ (function_declarator "stdio_filebuf\n          (stdio_filebuf<char,std::char_traits<char>> *this)" identifier (parameter_list "(stdio_filebuf<char,std::char_traits<char>> *this)" ( (parameter_declaration "stdio_filebuf" type_identifier) (ERROR "<char" < primitive_type) , (parameter_declaration "std::char_traits<char>> *this" type_identifier (ERROR "::char_traits<char>>" : : identifier < primitive_type >>) (pointer_declarator "*this" * identifier)) ))) { identifier) (pointer_declarator "*UNRECOVERED_JUMPTABLE" * identifier) ;) (expression_statement "*(undefined **)this = PTR_vtable_00433078 + 8;" (assignment_expression "*(undefined **)this = PTR_vtable_00433078 + 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_00433078 + 8" identifier + number_literal)) ;) (labeled_statement "std::filebuf::close((filebuf *)this);" statement_identifier : (ERROR ":" :) (labeled_statement "filebuf::close((filebuf *)this);" statement_identifier : (ERROR ":" :) (expression_statement "close((filebuf *)this);" (call_expression "close((filebuf *)this)" identifier (argument_list "((filebuf *)this)" ( (cast_expression "(filebuf *)this" ( (type_descriptor "filebuf *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier) ))) ;))) (expression_statement "(*(code *)PTR____basic_file_0043307c)(this + 0x38);" (call_expression "(*(code *)PTR____basic_file_0043307c)(this + 0x38)" (parenthesized_expression "(*(code *)PTR____basic_file_0043307c)" ( (pointer_expression "*(code *)PTR____basic_file_0043307c" * (cast_expression "(code *)PTR____basic_file_0043307c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(this + 0x38)" ( (binary_expression "this + 0x38" identifier + number_literal) ))) ;) (expression_statement "UNRECOVERED_JUMPTABLE = PTR__locale_00433084;" (assignment_expression "UNRECOVERED_JUMPTABLE = PTR__locale_00433084" identifier = identifier) ;) (expression_statement "*(undefined **)this = PTR_vtable_00433080 + 8;" (assignment_expression "*(undefined **)this = PTR_vtable_00433080 + 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_00433080 + 8" identifier + number_literal)) ;) comment comment (expression_statement "(*(code *)UNRECOVERED_JUMPTABLE)(this + 0x1c);" (call_expression "(*(code *)UNRECOVERED_JUMPTABLE)(this + 0x1c)" (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 "(this + 0x1c)" ( (binary_expression "this + 0x1c" identifier + number_literal) ))) ;) (return_statement "return;" return ;) (ERROR "}" }))
(translation_unit "/* stdio_filebuf<char, std::char_traits<char> >::~stdio_filebuf() */\n\nvoid __thiscall\nstdio_filebuf<char,std::char_traits<char>>::~stdio_filebuf\n          (stdio_filebuf<char,std::char_traits<char>> *this)\n\n{\n  undefined *UNRECOVERED_JUMPTABLE;\n  \n  *(undefined **)this = PTR_vtable_00433078 + 8;\n  std::filebuf::close((filebuf *)this);\n  (*(code *)PTR____basic_file_0043307c)(this + 0x38);\n  UNRECOVERED_JUMPTABLE = PTR__locale_00433084;\n  *(undefined **)this = PTR_vtable_00433080 + 8;\n                    /* WARNING: Could not recover jumptable at 0x002f9a8c. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)UNRECOVERED_JUMPTABLE)(this + 0x1c);\n  return;\n}\n\n" comment (declaration "void __thiscall\nstdio_filebuf<char,std::char_traits<char>>::~stdio_filebuf\n          (stdio_filebuf<char,std::char_traits<char>> *this)\n\n{\n  undefined *UNRECOVERED_JUMPTABLE;" primitive_type (ms_call_modifier "__thiscall" __thiscall) identifier (ERROR "<char" < primitive_type) , (ERROR "std::char_traits<char>>::~stdio_filebuf\n          (stdio_filebuf<char,std::char_traits<char>> *this)\n\n{\n  undefined" identifier : : identifier < primitive_type >> : : ~ (function_declarator "stdio_filebuf\n          (stdio_filebuf<char,std::char_traits<char>> *this)" identifier (parameter_list "(stdio_filebuf<char,std::char_traits<char>> *this)" ( (parameter_declaration "stdio_filebuf" type_identifier) (ERROR "<char" < primitive_type) , (parameter_declaration "std::char_traits<char>> *this" type_identifier (ERROR "::char_traits<char>>" : : identifier < primitive_type >>) (pointer_declarator "*this" * identifier)) ))) { identifier) (pointer_declarator "*UNRECOVERED_JUMPTABLE" * identifier) ;) (expression_statement "*(undefined **)this = PTR_vtable_00433078 + 8;" (assignment_expression "*(undefined **)this = PTR_vtable_00433078 + 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_00433078 + 8" identifier + number_literal)) ;) (labeled_statement "std::filebuf::close((filebuf *)this);" statement_identifier : (ERROR ":" :) (labeled_statement "filebuf::close((filebuf *)this);" statement_identifier : (ERROR ":" :) (expression_statement "close((filebuf *)this);" (call_expression "close((filebuf *)this)" identifier (argument_list "((filebuf *)this)" ( (cast_expression "(filebuf *)this" ( (type_descriptor "filebuf *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier) ))) ;))) (expression_statement "(*(code *)PTR____basic_file_0043307c)(this + 0x38);" (call_expression "(*(code *)PTR____basic_file_0043307c)(this + 0x38)" (parenthesized_expression "(*(code *)PTR____basic_file_0043307c)" ( (pointer_expression "*(code *)PTR____basic_file_0043307c" * (cast_expression "(code *)PTR____basic_file_0043307c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(this + 0x38)" ( (binary_expression "this + 0x38" identifier + number_literal) ))) ;) (expression_statement "UNRECOVERED_JUMPTABLE = PTR__locale_00433084;" (assignment_expression "UNRECOVERED_JUMPTABLE = PTR__locale_00433084" identifier = identifier) ;) (expression_statement "*(undefined **)this = PTR_vtable_00433080 + 8;" (assignment_expression "*(undefined **)this = PTR_vtable_00433080 + 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_00433080 + 8" identifier + number_literal)) ;) comment comment (expression_statement "(*(code *)UNRECOVERED_JUMPTABLE)(this + 0x1c);" (call_expression "(*(code *)UNRECOVERED_JUMPTABLE)(this + 0x1c)" (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 "(this + 0x1c)" ( (binary_expression "this + 0x1c" identifier + number_literal) ))) ;) (return_statement "return;" return ;) (ERROR "}" }))
(translation_unit "void __thiscall\nstdio_filebuf<char,std::char_traits<char>>::~stdio_filebuf\n          (stdio_filebuf<char,std::char_traits<char>> *this)\n\n{\n  undefined *UNRECOVERED_JUMPTABLE;\n  \n  *(undefined **)this = PTR_vtable_00433078 + 8;\n  std::filebuf::close((filebuf *)this);\n  (*(code *)PTR____basic_file_0043307c)(this + 0x38);\n  UNRECOVERED_JUMPTABLE = PTR__locale_00433084;\n  *(undefined **)this = PTR_vtable_00433080 + 8;\n                    \n                    \n  (*(code *)UNRECOVERED_JUMPTABLE)(this + 0x1c);\n  return;\n}\n\n" (declaration "void __thiscall\nstdio_filebuf<char,std::char_traits<char>>::~stdio_filebuf\n          (stdio_filebuf<char,std::char_traits<char>> *this)\n\n{\n  undefined *UNRECOVERED_JUMPTABLE;" primitive_type (ms_call_modifier "__thiscall" __thiscall) identifier (ERROR "<char" < primitive_type) , (ERROR "std::char_traits<char>>::~stdio_filebuf\n          (stdio_filebuf<char,std::char_traits<char>> *this)\n\n{\n  undefined" identifier : : identifier < primitive_type >> : : ~ (function_declarator "stdio_filebuf\n          (stdio_filebuf<char,std::char_traits<char>> *this)" identifier (parameter_list "(stdio_filebuf<char,std::char_traits<char>> *this)" ( (parameter_declaration "stdio_filebuf" type_identifier) (ERROR "<char" < primitive_type) , (parameter_declaration "std::char_traits<char>> *this" type_identifier (ERROR "::char_traits<char>>" : : identifier < primitive_type >>) (pointer_declarator "*this" * identifier)) ))) { identifier) (pointer_declarator "*UNRECOVERED_JUMPTABLE" * identifier) ;) (expression_statement "*(undefined **)this = PTR_vtable_00433078 + 8;" (assignment_expression "*(undefined **)this = PTR_vtable_00433078 + 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_00433078 + 8" identifier + number_literal)) ;) (labeled_statement "std::filebuf::close((filebuf *)this);" statement_identifier : (ERROR ":" :) (labeled_statement "filebuf::close((filebuf *)this);" statement_identifier : (ERROR ":" :) (expression_statement "close((filebuf *)this);" (call_expression "close((filebuf *)this)" identifier (argument_list "((filebuf *)this)" ( (cast_expression "(filebuf *)this" ( (type_descriptor "filebuf *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier) ))) ;))) (expression_statement "(*(code *)PTR____basic_file_0043307c)(this + 0x38);" (call_expression "(*(code *)PTR____basic_file_0043307c)(this + 0x38)" (parenthesized_expression "(*(code *)PTR____basic_file_0043307c)" ( (pointer_expression "*(code *)PTR____basic_file_0043307c" * (cast_expression "(code *)PTR____basic_file_0043307c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(this + 0x38)" ( (binary_expression "this + 0x38" identifier + number_literal) ))) ;) (expression_statement "UNRECOVERED_JUMPTABLE = PTR__locale_00433084;" (assignment_expression "UNRECOVERED_JUMPTABLE = PTR__locale_00433084" identifier = identifier) ;) (expression_statement "*(undefined **)this = PTR_vtable_00433080 + 8;" (assignment_expression "*(undefined **)this = PTR_vtable_00433080 + 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_00433080 + 8" identifier + number_literal)) ;) (expression_statement "(*(code *)UNRECOVERED_JUMPTABLE)(this + 0x1c);" (call_expression "(*(code *)UNRECOVERED_JUMPTABLE)(this + 0x1c)" (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 "(this + 0x1c)" ( (binary_expression "this + 0x1c" identifier + number_literal) ))) ;) (return_statement "return;" return ;) (ERROR "}" }))
(translation_unit (declaration TYPE (ms_call_modifier __thiscall) IDENT (ERROR < TYPE) , (ERROR IDENT : : IDENT < TYPE >> : : ~ (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE) (ERROR < TYPE) , (parameter_declaration TYPE (ERROR : : IDENT < TYPE >>) (pointer_declarator * IDENT)) ))) { IDENT) (pointer_declarator * IDENT) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) IDENT)) = (binary_expression IDENT + LIT)) ;) (labeled_statement statement_identifier : (ERROR :) (labeled_statement statement_identifier : (ERROR :) (expression_statement (call_expression IDENT (argument_list ( (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT) ))) ;))) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( (binary_expression IDENT + LIT) ))) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) IDENT)) = (binary_expression IDENT + LIT)) ;) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( (binary_expression IDENT + LIT) ))) ;) (return_statement return ;) (ERROR }))
(declaration "void __thiscall\nstdio_filebuf<char,std::char_traits<char>>::~stdio_filebuf\n          (stdio_filebuf<char,std::char_traits<char>> *this)\n\n{\n  undefined *UNRECOVERED_JUMPTABLE;" (primitive_type "void") (ms_call_modifier "__thiscall" (__thiscall "__thiscall")) (identifier "stdio_filebuf") (ERROR "<char" (< "<") (primitive_type "char")) (, ",") (ERROR "std::char_traits<char>>::~stdio_filebuf\n          (stdio_filebuf<char,std::char_traits<char>> *this)\n\n{\n  undefined" (identifier "std") (: ":") (: ":") (identifier "char_traits") (< "<") (primitive_type "char") (>> ">>") (: ":") (: ":") (~ "~") (function_declarator "stdio_filebuf\n          (stdio_filebuf<char,std::char_traits<char>> *this)" (identifier "stdio_filebuf") (parameter_list "(stdio_filebuf<char,std::char_traits<char>> *this)" (( "(") (parameter_declaration "stdio_filebuf" (type_identifier "stdio_filebuf")) (ERROR "<char" (< "<") (primitive_type "char")) (, ",") (parameter_declaration "std::char_traits<char>> *this" (type_identifier "std") (ERROR "::char_traits<char>>" (: ":") (: ":") (identifier "char_traits") (< "<") (primitive_type "char") (>> ">>")) (pointer_declarator "*this" (* "*") (identifier "this"))) () ")"))) ({ "{") (identifier "undefined")) (pointer_declarator "*UNRECOVERED_JUMPTABLE" (* "*") (identifier "UNRECOVERED_JUMPTABLE")) (; ";")) (expression_statement "*(undefined **)this = PTR_vtable_00433078 + 8;" (assignment_expression "*(undefined **)this = PTR_vtable_00433078 + 8" (pointer_expression "*(undefined **)this" (* "*") (cast_expression "(undefined **)this" (( "(") (type_descriptor "undefined **" (type_identifier "undefined") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (identifier "this"))) (= "=") (binary_expression "PTR_vtable_00433078 + 8" (identifier "PTR_vtable_00433078") (+ "+") (number_literal "8"))) (; ";")) (labeled_statement "std::filebuf::close((filebuf *)this);" (statement_identifier "std") (: ":") (ERROR ":" (: ":")) (labeled_statement "filebuf::close((filebuf *)this);" (statement_identifier "filebuf") (: ":") (ERROR ":" (: ":")) (expression_statement "close((filebuf *)this);" (call_expression "close((filebuf *)this)" (identifier "close") (argument_list "((filebuf *)this)" (( "(") (cast_expression "(filebuf *)this" (( "(") (type_descriptor "filebuf *" (type_identifier "filebuf") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "this")) () ")"))) (; ";")))) (expression_statement "(*(code *)PTR____basic_file_0043307c)(this + 0x38);" (call_expression "(*(code *)PTR____basic_file_0043307c)(this + 0x38)" (parenthesized_expression "(*(code *)PTR____basic_file_0043307c)" (( "(") (pointer_expression "*(code *)PTR____basic_file_0043307c" (* "*") (cast_expression "(code *)PTR____basic_file_0043307c" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR____basic_file_0043307c"))) () ")")) (argument_list "(this + 0x38)" (( "(") (binary_expression "this + 0x38" (identifier "this") (+ "+") (number_literal "0x38")) () ")"))) (; ";")) (expression_statement "UNRECOVERED_JUMPTABLE = PTR__locale_00433084;" (assignment_expression "UNRECOVERED_JUMPTABLE = PTR__locale_00433084" (identifier "UNRECOVERED_JUMPTABLE") (= "=") (identifier "PTR__locale_00433084")) (; ";")) (expression_statement "*(undefined **)this = PTR_vtable_00433080 + 8;" (assignment_expression "*(undefined **)this = PTR_vtable_00433080 + 8" (pointer_expression "*(undefined **)this" (* "*") (cast_expression "(undefined **)this" (( "(") (type_descriptor "undefined **" (type_identifier "undefined") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (identifier "this"))) (= "=") (binary_expression "PTR_vtable_00433080 + 8" (identifier "PTR_vtable_00433080") (+ "+") (number_literal "8"))) (; ";")) (expression_statement "(*(code *)UNRECOVERED_JUMPTABLE)(this + 0x1c);" (call_expression "(*(code *)UNRECOVERED_JUMPTABLE)(this + 0x1c)" (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 "(this + 0x1c)" (( "(") (binary_expression "this + 0x1c" (identifier "this") (+ "+") (number_literal "0x1c")) () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (ERROR "}" (} "}"))

/* stdio_filebuf<char, std::char_traits<char> >::~stdio_filebuf() */

void __thiscall
stdio_filebuf<char,std::char_traits<char>>::~stdio_filebuf
          (stdio_filebuf<char,std::char_traits<char>> *var_3)

{
  type_1 *UNRECOVERED_JUMPTABLE;
  
  *(type_1 **)var_3 = var_1 + 8;
  std::filebuf::var_2((type_2 *)var_3);
  (*(type_3 *)PTR____basic_file_0043307c)(var_3 + 0x38);
  UNRECOVERED_JUMPTABLE = PTR__locale_00433084;
  *(type_1 **)var_3 = var_4 + 8;
                    /* WARNING: Could not recover jumptable at 0x002f9a8c. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (*(type_3 *)UNRECOVERED_JUMPTABLE)(var_3 + 0x1c);
  return;
}


(translation_unit (declaration type: (primitive_type) declarator: (ms_call_modifier) declarator: (identifier) (ERROR (primitive_type)) (ERROR (identifier) (identifier) (primitive_type) (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (type_identifier)) (ERROR (primitive_type)) (parameter_declaration type: (type_identifier) (ERROR (identifier) (primitive_type)) declarator: (pointer_declarator declarator: (identifier))))) (identifier)) declarator: (pointer_declarator declarator: (identifier))) (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator declarator: (abstract_pointer_declarator))) value: (identifier))) right: (binary_expression left: (identifier) right: (number_literal)))) (labeled_statement label: (statement_identifier) (ERROR) (labeled_statement label: (statement_identifier) (ERROR) (expression_statement (call_expression function: (identifier) arguments: (argument_list (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier))))))) (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 (binary_expression left: (identifier) right: (number_literal))))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator declarator: (abstract_pointer_declarator))) value: (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 (binary_expression left: (identifier) right: (number_literal))))) (return_statement) (ERROR))

/* stdio_filebuf<char, std::char_traits<char> >::MASKED() */

void __thiscall
stdio_filebuf<char,std::char_traits<char>>::MASKED
          (stdio_filebuf<char,std::char_traits<char>> *this)

{
  undefined *UNRECOVERED_JUMPTABLE;
  
  *(undefined **)this = PTR_vtable_00433078 + 8;
  std::filebuf::close((filebuf *)this);
  (*(code *)PTR____basic_file_0043307c)(this + 0x38);
  UNRECOVERED_JUMPTABLE = PTR__locale_00433084;
  *(undefined **)this = PTR_vtable_00433080 + 8;
                    /* WARNING: Could not recover jumptable at 0x002f9a8c. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (*(code *)UNRECOVERED_JUMPTABLE)(this + 0x1c);
  return;
}

