/* debug.h
 */

#ifndef __debug_h
#define __debug_h

void TRACE(const char *fmt, ...);

#endif
