Add TRVARn(ALL_VARS) and TIMED_TRVARn(WAIT, ALL_VARS); to be able to print arbitrary number of variables in TRACE.