misc_ex9 currently depends on PETSc