#ifndef __USER_DBG_H__
#define __USER_DBG_H__

#define TLASSERT(...)
#define OS_DbgPrintf(...)

#endif /* __USER_DBG_H__ */

/* end of file */