WIP: petsc4py