{"name": "__do_global_dtors_aux", "code": "void * _do_global_dtors_aux ( ) { void * @@result@@ ; if ( ! completed_7348 ) { @@result@@ = deregister_tm_clones ( ) ; completed_7348 = Number ; } return @@result@@ ; }", "source": [{"n": "result", "t": {"T": 3, "t": "void"}, "location": "r8"}]}