setenv PATH /share/telelogic42/bin:${PATH}
setenv LD_LIBRARY_PATH /share/telelogic42/lib