void sys_putchar(int sysno, int c, int a2, int a3, int a4, int a5) { printcharc((char) c); return ; }
void printstr(unsigned char *s) { while (*s) printcharc(*s++); }