void trace(char *format, ...);