{"name": "test_message_count_body", "code": "void __fastcall test_message_count_body ( __int64 @@a1@@ ) { __int64 @@v1@@ ; __int64 @@v2@@ ; __int64 v3 ; __int64 v4 ; size_t @@v5@@ ; size_t @@i@@ ; parser_init ( * ( _DWORD * ) ( @@a1@@ + Number ) ) ; @@v5@@ = strlen ( * ( const char * * ) ( @@a1@@ + Number ) ) ; for ( @@i@@ = Number L ; @@i@@ < @@v5@@ ; @@i@@ += Number L ) { @@v1@@ = @@v5@@ - @@i@@ ; if ( @@v5@@ - @@i@@ >= Number ) @@v1@@ = Number L ; @@v2@@ = @@v1@@ ; v3 = parse_count_body ( @@i@@ + * ( _QWORD * ) ( @@a1@@ + Number ) , @@v1@@ ) ; if ( v3 != @@v2@@ ) { print_error ( * ( const char * * ) ( @@a1@@ + Number ) , v3 ) ; abort ( ) ; } } v4 = parse_count_body ( Number L , Number L ) ; if ( v4 ) { print_error ( * ( const char * * ) ( @@a1@@ + Number ) , v4 ) ; abort ( ) ; } if ( num_messages != Number ) { printf ( String , * ( const char * * ) @@a1@@ ) ; abort ( ) ; } if ( ! message_eq ( Number , @@a1@@ ) ) abort ( ) ; parser_free ( ) ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "v1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}, {"n": "v5", "t": {"T": 1, "n": "size_t", "s": 8}, "location": "s16"}, {"n": "v2", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s40"}, {"n": "i", "t": {"T": 1, "n": "size_t", "s": 8}, "location": "s8"}]}