{"name": "symbol__fprintf", "code": "__int64 __fastcall symbol__fprintf ( __int64 @@a1@@ , FILE * @@a2@@ ) { const char * v2 ; unsigned int v3 ; v2 = ( const char * ) ( @@a1@@ + Number ) ; if ( * ( _BYTE * ) ( @@a1@@ + Number ) == Number ) { v3 = Number ; } else if ( * ( _BYTE * ) ( @@a1@@ + Number ) ) { v3 = Number ; } else { v3 = Number ; } return fprintf ( @@a2@@ , String , * ( _QWORD * ) ( @@a1@@ + Number ) , * ( _QWORD * ) ( @@a1@@ + Number ) , v3 , v2 ) ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 3, "t": "FILE"}, "location": "r64"}]}