RE: PrimRep constructor Vec