{"name": "_ZL22machine_reset_trvmadnsR15running_machine", "code": "__int64 __fastcall machine_reset_trvmadns ( running_machine * @@a1@@ ) { __int64 @@result@@ ; @@result@@ = running_machine driver_data < trvmadns_state > ( @@a1@@ ) ; * ( _DWORD * ) ( @@result@@ + Number ) = Number ; return @@result@@ ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "running_machine"}, "location": "r56"}, {"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}]}