# processing file 'adhoc_lseek_test_SEEK_DATA-int.trace' ... @type trace ############################################## # for coverage purposes test lseek SEEK_DATA ############################################## 5: mkdir "d1" 0o777 Tau RV_none 7: open "d1" [O_RDONLY] Tau RV_num(3) 8: lseek (FD 3) 0 SEEK_DATA Tau RV_num(0) 9: close (FD 3) Tau RV_none