int -> PetscInt