{"name": "__do_global_dtors_aux", "code": "char * _do_global_dtors_aux ( ) { char * @@result@@ ; if ( ! completed_7348 ) { if ( & __cxa_finalize ) _cxa_finalize ( _dso_handle ) ; @@result@@ = deregister_tm_clones ( ) ; completed_7348 = Number ; } return @@result@@ ; }", "source": [{"n": "result", "t": {"T": 3, "t": "char"}, "location": "r8"}]}
{"name": "__cxa_finalize", "code": "int __fastcall _cxa_finalize ( void * @@a1@@ ) { return __cxa_finalize ( @@a1@@ ) ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "void"}, "location": "r56"}]}