SYS_write
return __simc(SYS_write, fd, (int) buf, count);
syscall_raw(SYS_write, 1, (long) str, sizeof(str) - 1, 0, 0, 0);
return syscall(SYS_write, STDOUT_FILENO, s, len);