{"name": "release_drive", "code": "__int64 __fastcall release_drive ( __int64 @@a1@@ , __int64 @@a2@@ , __int64 @@a3@@ ) { __int64 @@result@@ ; __int64 @@v5@@ ; __int64 * @@v6@@ ; @@v5@@ = object_dynamic_cast_assert ( @@a1@@ , String , String , Number L , String ) ; @@v6@@ = ( __int64 * ) qdev_get_prop_ptr ( @@v5@@ , @@a3@@ ) ; @@result@@ = * @@v6@@ ; if ( * @@v6@@ ) { bdrv_detach_dev ( * @@v6@@ , @@v5@@ ) ; @@result@@ = blockdev_auto_del ( * @@v6@@ ) ; } return @@result@@ ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r16"}, {"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r64"}, {"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}, {"n": "v5", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s24"}, {"n": "v6", "t": {"T": 3, "t": "__int64"}, "location": "s8"}]}