void __swi(0x3) os_newline(void);
void __swi(0x104) vdu4(void);
void __swi(0x2) os_write0(const char *str);

void debug0(const char *str)
{
  vdu4();
  os_write0(str);
  os_newline();
}