Goto sanos source index

#include <os.h>

int mainCRTStartup() {
  write(fdout, "hello world\n", 12);
}