moved semtrex dumping code into semtrex.c and made it definition saavy.