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

char hello[] = "hello\n";

int main(void) {
        syscall(1,1,hello,6);
        write(1,hello,6);
        printf("%s",hello);
        return(0);
}