sv_sys.a
. svcomp
. svar
../../../TI/LIB/src/tielib svcomp
../../../TI/LIB/src/tielib svar
