dist_noinst_HEADERS = trace.h