Updating: PCPV/EXTERN: infseq -> stampseq