{"name": "tests_fs_is_rootfs", "code": "_BOOL8 tests_fs_is_rootfs ( ) { int v0 ; int v1 ; struct stat @@v3@@ ; struct stat @@v4@@ ; v0 = stat ( tests_file_system_mount_dir , & @@v4@@ ) ; tests_test ( v0 != Number , String , String , Number ) ; v1 = stat ( String , & @@v3@@ ) ; tests_test ( v1 != Number , String , String , Number ) ; return @@v4@@ . st_dev == @@v3@@ . st_dev ; }", "source": [{"n": "v4", "t": {"T": 6, "n": "struct stat", "l": [{"T": 4, "n": "st_dev", "t": "__dev_t", "s": 8}, {"T": 4, "n": "st_ino", "t": "__ino_t", "s": 8}, {"T": 4, "n": "st_nlink", "t": "__nlink_t", "s": 8}, {"T": 4, "n": "st_mode", "t": "__mode_t", "s": 4}, {"T": 4, "n": "st_uid", "t": "__uid_t", "s": 4}, {"T": 4, "n": "st_gid", "t": "__gid_t", "s": 4}, {"T": 4, "n": "__pad0", "t": "int", "s": 4}, {"T": 4, "n": "st_rdev", "t": "__dev_t", "s": 8}, {"T": 4, "n": "st_size", "t": "__off_t", "s": 8}, {"T": 4, "n": "st_blksize", "t": "__blksize_t", "s": 8}, {"T": 4, "n": "st_blocks", "t": "__blkcnt_t", "s": 8}, {"T": 4, "n": "st_atim", "t": "timespec", "s": 16}, {"T": 4, "n": "st_mtim", "t": "timespec", "s": 16}, {"T": 4, "n": "st_ctim", "t": "timespec", "s": 16}, {"T": 4, "n": "__unused", "t": "__syscall_slong_t[3]", "s": 24}]}, "location": "s144"}, {"n": "v3", "t": {"T": 6, "n": "struct stat", "l": [{"T": 4, "n": "st_dev", "t": "__dev_t", "s": 8}, {"T": 4, "n": "st_ino", "t": "__ino_t", "s": 8}, {"T": 4, "n": "st_nlink", "t": "__nlink_t", "s": 8}, {"T": 4, "n": "st_mode", "t": "__mode_t", "s": 4}, {"T": 4, "n": "st_uid", "t": "__uid_t", "s": 4}, {"T": 4, "n": "st_gid", "t": "__gid_t", "s": 4}, {"T": 4, "n": "__pad0", "t": "int", "s": 4}, {"T": 4, "n": "st_rdev", "t": "__dev_t", "s": 8}, {"T": 4, "n": "st_size", "t": "__off_t", "s": 8}, {"T": 4, "n": "st_blksize", "t": "__blksize_t", "s": 8}, {"T": 4, "n": "st_blocks", "t": "__blkcnt_t", "s": 8}, {"T": 4, "n": "st_atim", "t": "timespec", "s": 16}, {"T": 4, "n": "st_mtim", "t": "timespec", "s": 16}, {"T": 4, "n": "st_ctim", "t": "timespec", "s": 16}, {"T": 4, "n": "__unused", "t": "__syscall_slong_t[3]", "s": 24}]}, "location": "s288"}]}
{"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"}]}