{"name": "tests_get_free_space", "code": "__fsblkcnt_t tests_get_free_space ( ) { int @@v0@@ ; struct statvfs @@v2@@ ; @@v0@@ = statvfs ( tests_file_system_mount_dir , & @@v2@@ ) ; tests_test ( @@v0@@ != Number , String , String , Number ) ; return @@v2@@ . f_bavail * @@v2@@ . f_frsize ; }", "source": [{"n": "v0", "t": {"T": 1, "n": "int", "s": 4}, "location": "r8"}, {"n": "v2", "t": {"T": 6, "n": "struct statvfs", "l": [{"T": 4, "n": "f_bsize", "t": "unsigned __int64", "s": 8}, {"T": 4, "n": "f_frsize", "t": "unsigned __int64", "s": 8}, {"T": 4, "n": "f_blocks", "t": "__fsblkcnt_t", "s": 8}, {"T": 4, "n": "f_bfree", "t": "__fsblkcnt_t", "s": 8}, {"T": 4, "n": "f_bavail", "t": "__fsblkcnt_t", "s": 8}, {"T": 4, "n": "f_files", "t": "__fsfilcnt_t", "s": 8}, {"T": 4, "n": "f_ffree", "t": "__fsfilcnt_t", "s": 8}, {"T": 4, "n": "f_favail", "t": "__fsfilcnt_t", "s": 8}, {"T": 4, "n": "f_fsid", "t": "unsigned __int64", "s": 8}, {"T": 4, "n": "f_flag", "t": "unsigned __int64", "s": 8}, {"T": 4, "n": "f_namemax", "t": "unsigned __int64", "s": 8}, {"T": 4, "n": "__f_spare", "t": "int[6]", "s": 24}]}, "location": "s112"}]}
{"name": "tests_test", "code": "void __fastcall tests_test ( int @@a1@@ , const char * @@a2@@ , const char * @@a3@@ , unsigned int @@a4@@ ) { char * v4 ; char * v5 ; time_t @@timer@@ ; int @@errnum@@ ; if ( ! @@a1@@ ) { @@errnum@@ = * __errno_location ( ) ; time ( & @@timer@@ ) ; v4 = ctime ( & @@timer@@ ) ; fprintf ( stderr , String , program_name , v4 , @@a2@@ , @@a3@@ , @@a4@@ ) ; if ( @@errnum@@ ) { fprintf ( stderr , String , ( unsigned int ) @@errnum@@ ) ; v5 = strerror ( @@errnum@@ ) ; fprintf ( stderr , String , v5 ) ; } exit ( Number ) ; } }", "source": [{"n": "a3", "t": {"T": 3, "t": "const char"}, "location": "r16"}, {"n": "a4", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r24"}, {"n": "a1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r56"}, {"n": "a2", "t": {"T": 3, "t": "const char"}, "location": "r64"}, {"n": "timer", "t": {"T": 1, "n": "time_t", "s": 8}, "location": "s16"}, {"n": "errnum", "t": {"T": 1, "n": "int", "s": 4}, "location": "s4"}]} {"name": "tests_get_big_file_size", "code": "__fsblkcnt_t __fastcall tests_get_big_file_size ( unsigned int @@a1@@ , unsigned int @@a2@@ ) { unsigned int @@v3@@ ; unsigned int @@v4@@ ; @@v4@@ = @@a1@@ ; @@v3@@ = @@a2@@ ; if ( ! @@a2@@ ) @@v3@@ = Number ; if ( @@a1@@ > @@v3@@ ) @@v4@@ = @@v3@@ ; return @@v4@@ * ( tests_get_free_space ( ) / @@v3@@ ) ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r64"}, {"n": "v4", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s20"}, {"n": "v3", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s24"}]}