Re: ptypef.c: petscdatatypegetsize_