void dbgu_print_ascii(const char *a)
{
}