{"name": "test__checkterms_simple", "code": "__int64 __fastcall test__checkterms_simple ( _QWORD * @@a1@@ ) { __int64 @@result@@ ; __int64 v2 ; __int64 v3 ; __int64 v4 ; __int64 v5 ; v2 = * @@a1@@ - Number L ; if ( * ( _DWORD * ) ( v2 + Number ) == Number ) { if ( * ( _DWORD * ) ( v2 + Number ) ) { eprintf ( Number L , String , String , Number L , String ) ; @@result@@ = Number ; } else if ( * ( _QWORD * ) ( v2 + Number ) == Number L ) { if ( * ( _QWORD * ) v2 ) { eprintf ( Number L , String , String , Number L , String ) ; @@result@@ = Number ; } else { v3 = * ( _QWORD * ) * @@a1@@ - Number L ; if ( * ( _DWORD * ) ( v3 + Number ) == Number ) { if ( * ( _DWORD * ) ( v3 + Number ) ) { eprintf ( Number L , String , String , Number L , String ) ; @@result@@ = Number ; } else if ( * ( _QWORD * ) ( v3 + Number ) == Number L ) { if ( * ( _QWORD * ) v3 ) { eprintf ( Number L , String , String , Number L , String ) ; @@result@@ = Number ; } else { v4 = * * ( _QWORD * * ) * @@a1@@ - Number L ; if ( * ( _DWORD * ) ( v4 + Number ) == Number ) { if ( * ( _DWORD * ) ( v4 + Number ) ) { eprintf ( Number L , String , String , Number L , String ) ; @@result@@ = Number ; } else if ( * ( _QWORD * ) ( v4 + Number ) == Number L ) { if ( * ( _QWORD * ) v4 ) { eprintf ( Number L , String , String , Number L , String ) ; @@result@@ = Number ; } else { v5 = * * * ( _QWORD * * * ) * @@a1@@ - Number L ; if ( * ( _DWORD * ) ( v5 + Number ) ) { eprintf ( Number L , String , String , Number L , String ) ; @@result@@ = Number ; } else if ( * ( _DWORD * ) ( v5 + Number ) ) { eprintf ( Number L , String , String , Number L , String ) ; @@result@@ = Number ; } else if ( * ( _QWORD * ) ( v5 + Number ) == Number L ) { if ( ! strcmp ( * ( const char * * ) v5 , String ) ) { @@result@@ = Number L ; } else { eprintf ( Number L , String , String , Number L , String ) ; @@result@@ = Number ; } } else { eprintf ( Number L , String , String , Number L , String ) ; @@result@@ = Number ; } } } else { eprintf ( Number L , String , String , Number L , String ) ; @@result@@ = Number ; } } else { eprintf ( Number L , String , String , Number L , String ) ; @@result@@ = Number ; } } } else { eprintf ( Number L , String , String , Number L , String ) ; @@result@@ = Number ; } } else { eprintf ( Number L , String , String , Number L , String ) ; @@result@@ = Number ; } } } else { eprintf ( Number L , String , String , Number L , String ) ; @@result@@ = Number ; } } else { eprintf ( Number L , String , String , Number L , String ) ; @@result@@ = Number ; } return @@result@@ ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "_QWORD"}, "location": "r56"}, {"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}]}