{"name": "test_preserve_data", "code": "char * test_preserve_data ( ) { char * @@result@@ ; char @@v1@@ [ Number ] ; char * @@v2@@ ; char @@v3@@ [ Number ] ; strcpy ( @@v3@@ , String ) ; @@v2@@ = @@v3@@ ; http_parser_init ( @@v1@@ , Number ) ; @@result@@ = @@v3@@ ; if ( @@v2@@ != @@v3@@ ) { puts ( String ) ; abort ( ) ; } return @@result@@ ; }", "source": [{"n": "result", "t": {"T": 3, "t": "char"}, "location": "r8"}, {"n": "v3", "t": {"T": 2, "n": 32, "s": 1, "t": "char"}, "location": "s32"}, {"n": "v2", "t": {"T": 3, "t": "char"}, "location": "s40"}, {"n": "v1", "t": {"T": 2, "n": 24, "s": 1, "t": "char"}, "location": "s64"}]}