(((trace_ctxt ()) (trace_line ((1) (Comment " processing file 'adhoc_mkdir_link_count-int.trace' ..."))) (d_lbls ())) ((trace_ctxt ()) (trace_line ((2) (Comment "@type trace"))) (d_lbls ())) ((trace_ctxt ()) (trace_line ((3) Newline)) (d_lbls ())) ((trace_ctxt ()) (trace_line ((4) (Comment ##########################################))) (d_lbls ())) ((trace_ctxt ()) (trace_line ((5) (Comment " Test link count of files after mkdir"))) (d_lbls ())) ((trace_ctxt ()) (trace_line ((6) (Comment ##########################################))) (d_lbls ())) ((trace_ctxt ()) (trace_line ((7) Newline)) (d_lbls ())) ((trace_ctxt ()) (trace_line ((8) (Comment " root should have link count 1"))) (d_lbls ())) ((trace_ctxt (((9) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_STAT (CS_Some /)))))))))) (trace_line ((9) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_STAT (CS_Some /))))))))) (d_lbls ())) ((trace_ctxt (((10) (Label (false (OS_simple_label OS_TAU)))))) (trace_line ((10) (Label (false (OS_simple_label OS_TAU))))) (d_lbls ())) ((trace_ctxt (((11) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value (RV_stats ((st_dev 1792) (st_ino (Inode 32644)) (st_kind S_IFDIR) (st_perm (File_perm 511)) (st_nlink 2) (st_uid (User_id 0)) (st_gid (Group_id 0)) (st_rdev 0) (st_size 4096) (st_atime (Float 0)) (st_mtime (Float 0)) (st_ctime (Float 0))))))))))))) (trace_line ((11) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value (RV_stats ((st_dev 1792) (st_ino (Inode 32644)) (st_kind S_IFDIR) (st_perm (File_perm 511)) (st_nlink 2) (st_uid (User_id 0)) (st_gid (Group_id 0)) (st_rdev 0) (st_size 4096) (st_atime (Float 0)) (st_mtime (Float 0)) (st_ctime (Float 0)))))))))))) (d_lbls ((D_checklib_false_negative ((Empty check_trace) ((Value (RV_stats ((st_dev 2049) (st_ino (Inode 0)) (st_kind S_IFDIR) (st_perm (File_perm 511)) (st_nlink 1) (st_uid (User_id 0)) (st_gid (Group_id 0)) (st_rdev 0) (st_size 9999) (st_atime (Float 0)) (st_mtime (Float 0)) (st_ctime (Float 0)))))))) (D_ret_lbl ((error ((D_ret_lbl_diff (Value (RV_stats ((st_dev 1792) (st_ino (Inode 32644)) (st_kind S_IFDIR) (st_perm (File_perm 511)) (st_nlink 2) (st_uid (User_id 0)) (st_gid (Group_id 0)) (st_rdev 0) (st_size 4096) (st_atime (Float 0)) (st_mtime (Float 0)) (st_ctime (Float 0))))) (D_value (D_stats ((d_st_kind ()) (d_st_perm ()) (d_st_size ()) (d_st_nlink ((2 1))) (d_st_uid ()) (d_st_gid ()) (d_st_atime ()) (d_st_mtime ()) (d_st_ctime ())))) (Value (RV_stats ((st_dev 2049) (st_ino (Inode 0)) (st_kind S_IFDIR) (st_perm (File_perm 511)) (st_nlink 1) (st_uid (User_id 0)) (st_gid (Group_id 0)) (st_rdev 0) (st_size 9999) (st_atime (Float 0)) (st_mtime (Float 0)) (st_ctime (Float 0)))))))) (rvs ((Value (RV_stats ((st_dev 2049) (st_ino (Inode 0)) (st_kind S_IFDIR) (st_perm (File_perm 511)) (st_nlink 1) (st_uid (User_id 0)) (st_gid (Group_id 0)) (st_rdev 0) (st_size 9999) (st_atime (Float 0)) (st_mtime (Float 0)) (st_ctime (Float 0))))))) (reset true)))))) ((trace_ctxt ()) (trace_line ((12) Newline)) (d_lbls ())) ((trace_ctxt ()) (trace_line ((13) (Comment " a new dir should have link count 2"))) (d_lbls ())) ((trace_ctxt ()) (trace_line ((14) Newline)) (d_lbls ())) ((trace_ctxt (((15) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_MKDIR ((CS_Some /dir1) (File_perm 511))))))))))) (trace_line ((15) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_MKDIR ((CS_Some /dir1) (File_perm 511)))))))))) (d_lbls ())) ((trace_ctxt (((16) (Label (false (OS_simple_label OS_TAU)))))) (trace_line ((16) (Label (false (OS_simple_label OS_TAU))))) (d_lbls ())) ((trace_ctxt (((17) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value RV_none))))))))) (trace_line ((17) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value RV_none)))))))) (d_lbls ())) ((trace_ctxt (((18) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_STAT (CS_Some /dir1)))))))))) (trace_line ((18) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_STAT (CS_Some /dir1))))))))) (d_lbls ())) ((trace_ctxt (((19) (Label (false (OS_simple_label OS_TAU)))))) (trace_line ((19) (Label (false (OS_simple_label OS_TAU))))) (d_lbls ())) ((trace_ctxt (((20) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value (RV_stats ((st_dev 1792) (st_ino (Inode 65281)) (st_kind S_IFDIR) (st_perm (File_perm 493)) (st_nlink 2) (st_uid (User_id 0)) (st_gid (Group_id 0)) (st_rdev 0) (st_size 4096) (st_atime (Float 0)) (st_mtime (Float 0)) (st_ctime (Float 0))))))))))))) (trace_line ((20) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value (RV_stats ((st_dev 1792) (st_ino (Inode 65281)) (st_kind S_IFDIR) (st_perm (File_perm 493)) (st_nlink 2) (st_uid (User_id 0)) (st_gid (Group_id 0)) (st_rdev 0) (st_size 4096) (st_atime (Float 0)) (st_mtime (Float 0)) (st_ctime (Float 0)))))))))))) (d_lbls ())) ((trace_ctxt ()) (trace_line ((21) Newline)) (d_lbls ())) ((trace_ctxt ()) (trace_line ((22) (Comment " adding a subdir should increase the link count of the dir"))) (d_lbls ())) ((trace_ctxt ()) (trace_line ((23) Newline)) (d_lbls ())) ((trace_ctxt (((24) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_MKDIR ((CS_Some /dir1/subdir1) (File_perm 511))))))))))) (trace_line ((24) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_MKDIR ((CS_Some /dir1/subdir1) (File_perm 511)))))))))) (d_lbls ())) ((trace_ctxt (((25) (Label (false (OS_simple_label OS_TAU)))))) (trace_line ((25) (Label (false (OS_simple_label OS_TAU))))) (d_lbls ())) ((trace_ctxt (((26) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value RV_none))))))))) (trace_line ((26) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value RV_none)))))))) (d_lbls ())) ((trace_ctxt (((27) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_STAT (CS_Some /dir1)))))))))) (trace_line ((27) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_STAT (CS_Some /dir1))))))))) (d_lbls ())) ((trace_ctxt (((28) (Label (false (OS_simple_label OS_TAU)))))) (trace_line ((28) (Label (false (OS_simple_label OS_TAU))))) (d_lbls ())) ((trace_ctxt (((29) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value (RV_stats ((st_dev 1792) (st_ino (Inode 65281)) (st_kind S_IFDIR) (st_perm (File_perm 493)) (st_nlink 3) (st_uid (User_id 0)) (st_gid (Group_id 0)) (st_rdev 0) (st_size 4096) (st_atime (Float 0)) (st_mtime (Float 0)) (st_ctime (Float 0))))))))))))) (trace_line ((29) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value (RV_stats ((st_dev 1792) (st_ino (Inode 65281)) (st_kind S_IFDIR) (st_perm (File_perm 493)) (st_nlink 3) (st_uid (User_id 0)) (st_gid (Group_id 0)) (st_rdev 0) (st_size 4096) (st_atime (Float 0)) (st_mtime (Float 0)) (st_ctime (Float 0)))))))))))) (d_lbls ())) ((trace_ctxt (((30) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_STAT (CS_Some /dir1/subdir1)))))))))) (trace_line ((30) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_STAT (CS_Some /dir1/subdir1))))))))) (d_lbls ())) ((trace_ctxt (((31) (Label (false (OS_simple_label OS_TAU)))))) (trace_line ((31) (Label (false (OS_simple_label OS_TAU))))) (d_lbls ())) ((trace_ctxt (((32) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value (RV_stats ((st_dev 1792) (st_ino (Inode 65282)) (st_kind S_IFDIR) (st_perm (File_perm 493)) (st_nlink 2) (st_uid (User_id 0)) (st_gid (Group_id 0)) (st_rdev 0) (st_size 4096) (st_atime (Float 0)) (st_mtime (Float 0)) (st_ctime (Float 0))))))))))))) (trace_line ((32) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value (RV_stats ((st_dev 1792) (st_ino (Inode 65282)) (st_kind S_IFDIR) (st_perm (File_perm 493)) (st_nlink 2) (st_uid (User_id 0)) (st_gid (Group_id 0)) (st_rdev 0) (st_size 4096) (st_atime (Float 0)) (st_mtime (Float 0)) (st_ctime (Float 0)))))))))))) (d_lbls ())) ((trace_ctxt ()) (trace_line ((33) Newline)) (d_lbls ())) ((trace_ctxt ()) (trace_line ((34) (Comment " adding a subsubdir should leave the link count unaltered of the dir"))) (d_lbls ())) ((trace_ctxt ()) (trace_line ((35) Newline)) (d_lbls ())) ((trace_ctxt (((36) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_MKDIR ((CS_Some /dir1/subdir1/subsbudir1) (File_perm 511))))))))))) (trace_line ((36) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_MKDIR ((CS_Some /dir1/subdir1/subsbudir1) (File_perm 511)))))))))) (d_lbls ())) ((trace_ctxt (((37) (Label (false (OS_simple_label OS_TAU)))))) (trace_line ((37) (Label (false (OS_simple_label OS_TAU))))) (d_lbls ())) ((trace_ctxt (((38) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value RV_none))))))))) (trace_line ((38) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value RV_none)))))))) (d_lbls ())) ((trace_ctxt (((39) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_STAT (CS_Some /dir1)))))))))) (trace_line ((39) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_STAT (CS_Some /dir1))))))))) (d_lbls ())) ((trace_ctxt (((40) (Label (false (OS_simple_label OS_TAU)))))) (trace_line ((40) (Label (false (OS_simple_label OS_TAU))))) (d_lbls ())) ((trace_ctxt (((41) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value (RV_stats ((st_dev 1792) (st_ino (Inode 65281)) (st_kind S_IFDIR) (st_perm (File_perm 493)) (st_nlink 3) (st_uid (User_id 0)) (st_gid (Group_id 0)) (st_rdev 0) (st_size 4096) (st_atime (Float 0)) (st_mtime (Float 0)) (st_ctime (Float 0))))))))))))) (trace_line ((41) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value (RV_stats ((st_dev 1792) (st_ino (Inode 65281)) (st_kind S_IFDIR) (st_perm (File_perm 493)) (st_nlink 3) (st_uid (User_id 0)) (st_gid (Group_id 0)) (st_rdev 0) (st_size 4096) (st_atime (Float 0)) (st_mtime (Float 0)) (st_ctime (Float 0)))))))))))) (d_lbls ())) ((trace_ctxt (((42) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_STAT (CS_Some /dir1/subdir1)))))))))) (trace_line ((42) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_STAT (CS_Some /dir1/subdir1))))))))) (d_lbls ())) ((trace_ctxt (((43) (Label (false (OS_simple_label OS_TAU)))))) (trace_line ((43) (Label (false (OS_simple_label OS_TAU))))) (d_lbls ())) ((trace_ctxt (((44) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value (RV_stats ((st_dev 1792) (st_ino (Inode 65282)) (st_kind S_IFDIR) (st_perm (File_perm 493)) (st_nlink 3) (st_uid (User_id 0)) (st_gid (Group_id 0)) (st_rdev 0) (st_size 4096) (st_atime (Float 0)) (st_mtime (Float 0)) (st_ctime (Float 0))))))))))))) (trace_line ((44) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value (RV_stats ((st_dev 1792) (st_ino (Inode 65282)) (st_kind S_IFDIR) (st_perm (File_perm 493)) (st_nlink 3) (st_uid (User_id 0)) (st_gid (Group_id 0)) (st_rdev 0) (st_size 4096) (st_atime (Float 0)) (st_mtime (Float 0)) (st_ctime (Float 0)))))))))))) (d_lbls ())) ((trace_ctxt (((45) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_STAT (CS_Some /dir1/subdir1/subsbudir1)))))))))) (trace_line ((45) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_STAT (CS_Some /dir1/subdir1/subsbudir1))))))))) (d_lbls ())) ((trace_ctxt (((46) (Label (false (OS_simple_label OS_TAU)))))) (trace_line ((46) (Label (false (OS_simple_label OS_TAU))))) (d_lbls ())) ((trace_ctxt (((47) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value (RV_stats ((st_dev 1792) (st_ino (Inode 65283)) (st_kind S_IFDIR) (st_perm (File_perm 493)) (st_nlink 2) (st_uid (User_id 0)) (st_gid (Group_id 0)) (st_rdev 0) (st_size 4096) (st_atime (Float 0)) (st_mtime (Float 0)) (st_ctime (Float 0))))))))))))) (trace_line ((47) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value (RV_stats ((st_dev 1792) (st_ino (Inode 65283)) (st_kind S_IFDIR) (st_perm (File_perm 493)) (st_nlink 2) (st_uid (User_id 0)) (st_gid (Group_id 0)) (st_rdev 0) (st_size 4096) (st_atime (Float 0)) (st_mtime (Float 0)) (st_ctime (Float 0)))))))))))) (d_lbls ())) ((trace_ctxt ()) (trace_line ((48) Newline)) (d_lbls ())) ((trace_ctxt ()) (trace_line ((49) Newline)) (d_lbls ())))