Working with PETSc options (TODO)