#include "headers/nstdo.h"
extern long sys_write(int fd, const void *buf, size_t count);

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