void
hello ()
{
char *hello = "Hello \\\"!\r\n";
int i;
for (i = 0; hello[i]; i++)
write (1, hello + i, 1);
}
int
main ()
hello ();
} /* after-hello */