{"name": "strlist__has_entry", "code": "bool __fastcall strlist__has_entry ( __int64 @@a1@@ , __int64 @@a2@@ ) { return strlist__find ( @@a1@@ , @@a2@@ ) != Number ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r64"}]}
{"name": "get_new_event_name", "code": "__int64 __fastcall get_new_event_name ( char * @@a1@@ , size_t @@a2@@ , const char * @@a3@@ , __int64 @@a4@@ , __int64 @@a5@@ , __int64 @@a6@@ ) { char * v6 ; __int64 result ; __int64 v8 ; char @@v9@@ ; int @@i@@ ; int @@v13@@ ; @@v9@@ = @@a5@@ ; @@v13@@ = e_snprintf ( @@a1@@ , @@a2@@ , String , ( __int64 ) @@a3@@ , @@a5@@ , @@a6@@ ) ; if ( @@v13@@ >= Number ) { if ( ! strlist__has_entry ( @@a4@@ , ( __int64 ) @@a1@@ ) ) { result = Number L ; } else if ( @@v9@@ != Number ) { eprintf ( Number L , String , @@a3@@ ) ; result = Number L ; } else { for ( @@i@@ = Number ; @@i@@ <= Number ; ++ @@i@@ ) { @@v13@@ = e_snprintf ( @@a1@@ , @@a2@@ , String , ( __int64 ) @@a3@@ , ( unsigned int ) @@i@@ , v8 ) ; if ( @@v13@@ < Number ) goto LABEL_2 ; if ( ! strlist__has_entry ( @@a4@@ , ( __int64 ) @@a1@@ ) ) break ; } if ( @@i@@ == Number ) { eprintf ( Number L , String ) ; @@v13@@ = Number ; } result = ( unsigned int ) @@v13@@ ; } } else { LABEL_2 : v6 = strerror ( - @@v13@@ ) ; eprintf ( Number L , String , v6 ) ; result = ( unsigned int ) @@v13@@ ; } return result ; }", "source": [{"n": "a3", "t": {"T": 3, "t": "const char"}, "location": "r16"}, {"n": "a4", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r24"}, {"n": "a1", "t": {"T": 3, "t": "char"}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "size_t", "s": 8}, "location": "r64"}, {"n": "a5", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r72"}, {"n": "a6", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r80"}, {"n": "v13", "t": {"T": 1, "n": "int", "s": 4}, "location": "s12"}, {"n": "i", "t": {"T": 1, "n": "int", "s": 4}, "location": "s16"}, {"n": "v9", "t": {"T": 1, "n": "char", "s": 1}, "location": "s52"}]}