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