{"name": "dso__fprintf_symbols_by_name", "code": "__int64 __fastcall dso__fprintf_symbols_by_name ( __int64 @@a1@@ , unsigned int @@a2@@ , FILE * @@a3@@ ) { __int64 @@i@@ ; for ( @@i@@ = rb_first ( Number * ( @@a2@@ + Number L ) + @@a1@@ ) ; @@i@@ ; @@i@@ = rb_next ( @@i@@ ) ) fprintf ( @@a3@@ , String , ( const char * ) ( @@i@@ + Number ) ) ; return Number L ; }", "source": [{"n": "a3", "t": {"T": 3, "t": "FILE"}, "location": "r16"}, {"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r64"}, {"n": "i", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s40"}]}