{"name": "check_body_is_final", "code": "_BOOL8 __fastcall check_body_is_final ( __int64 @@a1@@ ) { int @@v1@@ ; _BOOL8 @@result@@ ; if ( dword_757E44 [ Number * num_messages ] ) { fwrite ( String , Number , Number , stderr ) ; __assert_fail ( String , String , Number , String ) ; } @@v1@@ = num_messages ; @@result@@ = http_body_is_final ( @@a1@@ ) ; dword_757E44 [ Number * @@v1@@ ] = @@result@@ ; return @@result@@ ; }", "source": [{"n": "v1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r32"}, {"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "result", "t": {"T": 1, "n": "_BOOL8", "s": 8}, "location": "r8"}]}