{"name": "_ZL13vbuffer_set_wP13address_spacejtt", "code": "__int64 __fastcall vbuffer_set_w ( address_space * @@a1@@ ) { __int64 v1 ; __int64 result ; v1 = address_space machine ( @@a1@@ ) ; result = running_machine driver_data < pasha2_state > ( v1 ) ; * ( _DWORD * ) ( result + Number ) = Number ; return result ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "address_space"}, "location": "r56"}]}