#include <unistd.h>

int
main(int argc, char *argv[])
{
  char * buf = "hello\n";
  write(1, buf, 6);
}