{"name": "_ZNSaIPPcED2Ev", "code": "__int64 __fastcall std allocator < char * * > ~ allocator ( __int64 @@a1@@ ) { return __gnu_cxx new_allocator < char * * > ~ new_allocator ( @@a1@@ ) ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}]}