{"name": "__gcov_rewrite", "code": "int _gcov_rewrite ( ) { FILE * @@v0@@ ; * ( _QWORD * ) & _gcov_var [ Number ] = Number L ; @@v0@@ = * ( FILE * * ) _gcov_var ; _gcov_var [ Number ] = Number ; return fseek ( @@v0@@ , Number L , Number ) ; }", "source": [{"n": "v0", "t": {"T": 3, "t": "FILE"}, "location": "r56"}]}