kshdebug_printf_
void kshdebug_printf_(const char *, ...)
# define kshdebug_printf(a) kshdebug_printf_ a