{"name": "dso__fprintf_buildid", "code": "__int64 __fastcall dso__fprintf_buildid ( __int64 @@a1@@ , FILE * @@a2@@ ) { char @@v3@@ [ Number ] ; unsigned __int64 @@v4@@ ; @@v4@@ = __readfsqword ( Number ) ; build_id__sprintf ( ( unsigned __int8 * ) ( @@a1@@ + Number ) , Number , @@v3@@ ) ; return fprintf ( @@a2@@ , String , @@v3@@ ) ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 3, "t": "FILE"}, "location": "r64"}, {"n": "v3", "t": {"T": 2, "n": 56, "s": 1, "t": "char"}, "location": "s64"}, {"n": "v4", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]}