(((trace_ctxt ()) (trace_line ((1) (Comment " processing file 'adhoc_rename_root-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 rename root"))) (d_lbls ())) ((trace_ctxt ()) (trace_line ((6) (Comment ####################################))) (d_lbls ())) ((trace_ctxt (((7) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_MKDIR ((CS_Some /test_dir_0001) (File_perm 1777))))))))))) (trace_line ((7) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_MKDIR ((CS_Some /test_dir_0001) (File_perm 1777)))))))))) (d_lbls ())) ((trace_ctxt (((8) (Label (false (OS_simple_label OS_TAU)))))) (trace_line ((8) (Label (false (OS_simple_label OS_TAU))))) (d_lbls ())) ((trace_ctxt (((9) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value RV_none))))))))) (trace_line ((9) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value RV_none)))))))) (d_lbls ())) ((trace_ctxt (((10) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_CHDIR (CS_Some /test_dir_0001)))))))))) (trace_line ((10) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_CHDIR (CS_Some /test_dir_0001))))))))) (d_lbls ())) ((trace_ctxt (((11) (Label (false (OS_simple_label OS_TAU)))))) (trace_line ((11) (Label (false (OS_simple_label OS_TAU))))) (d_lbls ())) ((trace_ctxt (((12) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value RV_none))))))))) (trace_line ((12) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value RV_none)))))))) (d_lbls ())) ((trace_ctxt (((13) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_MKDIR ((CS_Some empty_dir1) (File_perm 1777))))))))))) (trace_line ((13) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_MKDIR ((CS_Some empty_dir1) (File_perm 1777)))))))))) (d_lbls ())) ((trace_ctxt (((14) (Label (false (OS_simple_label OS_TAU)))))) (trace_line ((14) (Label (false (OS_simple_label OS_TAU))))) (d_lbls ())) ((trace_ctxt (((15) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value RV_none))))))))) (trace_line ((15) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value RV_none)))))))) (d_lbls ())) ((trace_ctxt (((16) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_MKDIR ((CS_Some empty_dir2) (File_perm 511))))))))))) (trace_line ((16) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_MKDIR ((CS_Some empty_dir2) (File_perm 511)))))))))) (d_lbls ())) ((trace_ctxt (((17) (Label (false (OS_simple_label OS_TAU)))))) (trace_line ((17) (Label (false (OS_simple_label OS_TAU))))) (d_lbls ())) ((trace_ctxt (((18) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value RV_none))))))))) (trace_line ((18) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value RV_none)))))))) (d_lbls ())) ((trace_ctxt (((19) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_MKDIR ((CS_Some nonempty_dir1) (File_perm 511))))))))))) (trace_line ((19) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_MKDIR ((CS_Some nonempty_dir1) (File_perm 511)))))))))) (d_lbls ())) ((trace_ctxt (((20) (Label (false (OS_simple_label OS_TAU)))))) (trace_line ((20) (Label (false (OS_simple_label OS_TAU))))) (d_lbls ())) ((trace_ctxt (((21) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value RV_none))))))))) (trace_line ((21) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Value RV_none)))))))) (d_lbls ())) ((trace_ctxt ()) (trace_line ((22) Newline)) (d_lbls ())) ((trace_ctxt (((23) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_RENAME ((CS_Some /) (CS_Some mydir))))))))))) (trace_line ((23) (Label (false (OS_simple_label (OS_CALL ((Pid 1) (OS_RENAME ((CS_Some /) (CS_Some mydir)))))))))) (d_lbls ())) ((trace_ctxt (((24) (Label (false (OS_simple_label OS_TAU)))))) (trace_line ((24) (Label (false (OS_simple_label OS_TAU))))) (d_lbls ())) ((trace_ctxt (((25) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Error EBUSY))))))))) (trace_line ((25) (Label (false (OS_simple_label (OS_RETURN ((Pid 1) (Error EBUSY)))))))) (d_lbls ())) ((trace_ctxt ()) (trace_line ((26) Newline)) (d_lbls ())) ((trace_ctxt ()) (trace_line ((27) Newline)) (d_lbls ())) ((trace_ctxt ()) (trace_line ((28) Newline)) (d_lbls ())))