inssaproto
inssaproto(pp0, newpr);
inssaproto(newpp, newpr);
extern void inssaproto(struct saprop *, struct saproto *);