fn sys_write(fd: u64, buf_ptr: u64, buf_len: u64) -> Result<u64, SyscallError>
SYS_WRITE (404): Write bytes to a file descriptor.