wrapped vtrace calls in ifdefs