PETSc Sys examples