char *s = "\x66\x6f\x6f\x20";

int
main ()
{
  puts (s);
}