#include <string.h>
#include <unistd.h>
int main() {
  const char *text = "Hello world!\n";
  write(STDOUT_FILENO, text, strlen(text));
  return 0;
}