void puts(char *s)
{
  while(*s)
  {
    putc(*s++);

    if (s & (0x10 - 1))
      sync();
  }
}