#include "petscviewer.h" PetscErrorCode PetscViewerBinaryGetInfoPointer(PetscViewer viewer,FILE **file)