int dbg_printf(const char *format, ...)
{
	return 0;
}