[petsc-dev] Question about Binary-IO in READ mode with POSIX APIs