{"name": "getiofile", "code": "__int64 __fastcall getiofile ( __int64 @@a1@@ , unsigned int @@a2@@ ) { __int64 @@v3@@ ; lua_rawgeti ( @@a1@@ , Number L , @@a2@@ ) ; @@v3@@ = * ( _QWORD * ) lua_touserdata ( @@a1@@ , Number ) ; if ( ! @@v3@@ ) luaL_error ( @@a1@@ , String , fnames [ @@a2@@ - Number ] ) ; return @@v3@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r64"}, {"n": "v3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s8"}]}
{"name": "io_read", "code": "__int64 __fastcall io_read ( __int64 @@a1@@ ) { FILE * @@v1@@ ; @@v1@@ = ( FILE * ) getiofile ( @@a1@@ , Number ) ; return g_read ( @@a1@@ , @@v1@@ , Number ) ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "v1", "t": {"T": 3, "t": "FILE"}, "location": "r8"}]} {"name": "io_write", "code": "__int64 __fastcall io_write ( __int64 @@a1@@ , double @@a2@@ ) { FILE * @@v2@@ ; @@v2@@ = ( FILE * ) getiofile ( @@a1@@ , Number ) ; return g_write ( @@a1@@ , @@v2@@ , Number , @@a2@@ ) ; }", "source": [{"n": "a2", "t": {"T": 1, "n": "double", "s": 8}, "location": "r496"}, {"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "v2", "t": {"T": 3, "t": "FILE"}, "location": "r8"}]} {"name": "io_flush", "code": "__int64 __fastcall io_flush ( __int64 @@a1@@ ) { FILE * v1 ; int v2 ; v1 = ( FILE * ) getiofile ( @@a1@@ , Number ) ; v2 = fflush ( v1 ) ; return pushresult ( @@a1@@ , v2 == Number , Number L ) ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}]}