#include "../src/stdio.h"

void _start() {
   write(0, "Hello, World!", 13);
   exit(0);
}