sv_tools.a sv_base.a sv_sys.a tssf.a
src/pipe svcomp
src/dup svcomp
src/dup2 svcomp
src/close svcomp
src/read svcomp
src/write svcomp
src/fcntl.h svcomp
src/fcntl svcomp
src/lseek svcomp
