Re: [petsc-users] Trouble with ISEmbed