sv_tools.a sv_base.a sv_sys.a
src/getpid svcomp
src/getppid svcomp
src/getuid svcomp
src/geteuid svcomp
src/getgid svcomp
src/getegid svcomp
src/setuid svcomp
src/setgid svcomp
src/getgroups svcomp
src/getlogin svcomp
src/getpgrp svcomp
src/setsid svcomp
src/setpgid svcomp
src/uname svcomp
src/time svcomp
src/times svcomp
src/getenv svcomp
src/ctermid svcomp
src/ttyname svcomp
src/isatty svcomp
src/sysconf svcomp
