{"name": "free_pointer", "code": "void __fastcall free_pointer ( void * @@a1@@ ) { if ( @@a1@@ ) free ( @@a1@@ ) ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "void"}, "location": "r56"}]}
{"name": "mem_free", "code": "void __fastcall mem_free ( void * @@a1@@ ) { free_pointer ( @@a1@@ ) ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "void"}, "location": "r56"}]}