Programming with PETSc/TAO#