#include #include char hello[] = "hello\n"; int main(void){ syscall(1, 1, hello,6); write(1, hello, 6); printf("%s", hello); return(0); }