microhello.c

#include <stdio.h>
#include <unistd.h>

int main(void)
{
  const char hello[] = "Hello, World!\n";
  __fwrite(hello, sizeof hello-1, stdout);
  return 0;
}