{"name": "init_write_buffer", "code": "void init_write_buffer ( ) { int @@i@@ ; if ( ! init_4572 ) { srand ( Number ) ; for ( @@i@@ = Number ; @@i@@ <= Number ; ++ @@i@@ ) write_buffer [ @@i@@ ] = rand ( ) / Number ; init_4572 = Number ; } }", "source": [{"n": "i", "t": {"T": 1, "n": "int", "s": 4}, "location": "s4"}]}
{"name": "tests_fill_file", "code": "__int64 __fastcall tests_fill_file ( unsigned int @@a1@@ , size_t @@a2@@ ) { ssize_t v2 ; int * v3 ; unsigned int @@v5@@ ; __int64 @@v6@@ ; int @@v8@@ ; size_t @@n@@ ; @@v8@@ = Number ; @@v6@@ = Number L ; init_write_buffer ( ) ; while ( @@a2@@ ) { @@v5@@ = Number - @@v8@@ ; if ( @@a2@@ <= ( unsigned int ) ( Number - @@v8@@ ) ) { @@n@@ = @@a2@@ ; v2 = write ( @@a1@@ , & write_buffer [ @@v8@@ ] , @@a2@@ ) ; } else { @@n@@ = @@v5@@ ; v2 = write ( @@a1@@ , & write_buffer [ @@v8@@ ] , @@v5@@ ) ; } if ( v2 <= Number ) { v3 = __errno_location ( ) ; tests_test ( * v3 == Number , String , String , Number ) ; * __errno_location ( ) = Number ; break ; } @@a2@@ -= v2 ; @@v6@@ += v2 ; if ( v2 == @@n@@ ) @@v8@@ = Number ; else @@v8@@ += v2 ; } tests_maybe_sync ( @@a1@@ ) ; return @@v6@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "size_t", "s": 8}, "location": "r64"}, {"n": "v8", "t": {"T": 1, "n": "int", "s": 4}, "location": "s12"}, {"n": "v6", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s32"}, {"n": "v5", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s36"}, {"n": "n", "t": {"T": 1, "n": "size_t", "s": 8}, "location": "s8"}]} {"name": "tests_write_filled_file", "code": "__int64 __fastcall tests_write_filled_file ( unsigned int @@a1@@ , __off_t @@a2@@ , size_t @@a3@@ ) { __off_t v3 ; ssize_t v4 ; int * v5 ; unsigned int @@v8@@ ; __int64 @@v9@@ ; size_t @@v10@@ ; int @@v11@@ ; size_t @@n@@ ; @@v9@@ = Number L ; v3 = lseek ( @@a1@@ , @@a2@@ , Number ) ; tests_test ( @@a2@@ == v3 , String , String , Number ) ; init_write_buffer ( ) ; @@v10@@ = @@a3@@ ; @@v11@@ = @@a2@@ % Number ; while ( @@v10@@ ) { @@v8@@ = Number - @@v11@@ ; if ( @@v10@@ <= ( unsigned int ) ( Number - @@v11@@ ) ) { @@n@@ = @@v10@@ ; v4 = write ( @@a1@@ , & write_buffer [ @@v11@@ ] , @@v10@@ ) ; } else { @@n@@ = @@v8@@ ; v4 = write ( @@a1@@ , & write_buffer [ @@v11@@ ] , @@v8@@ ) ; } if ( v4 <= Number ) { v5 = __errno_location ( ) ; tests_test ( * v5 == Number , String , String , Number ) ; * __errno_location ( ) = Number ; break ; } @@v10@@ -= v4 ; @@v9@@ += v4 ; if ( v4 == @@n@@ ) @@v11@@ = Number ; else @@v11@@ += v4 ; } tests_maybe_sync ( @@a1@@ ) ; return @@v9@@ ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "size_t", "s": 8}, "location": "r16"}, {"n": "a1", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "__off_t", "s": 8}, "location": "r64"}, {"n": "v11", "t": {"T": 1, "n": "int", "s": 4}, "location": "s12"}, {"n": "v10", "t": {"T": 1, "n": "size_t", "s": 8}, "location": "s24"}, {"n": "v9", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s32"}, {"n": "v8", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s36"}, {"n": "n", "t": {"T": 1, "n": "size_t", "s": 8}, "location": "s8"}]}