#include "petscsys.h" PetscErrorCode PetscOptionsUsed(PetscOptions options,const char *option,PetscBool *used)