added stdio to trace.h