#include <c-libs/sys/syscall.h>

int main() {
  write(0, "Hello World!\n", 13);
  return 0;
}