let pread fd off buf ofs len = if (off < 0) || ((ofs < 0) || ((len < 0) || (ofs > ((String.length buf) - len)))) then invalid_arg "ExtUnix.pread" else unsafe_pread fd off buf ofs len