INTERFACE Integer32VectorRep = VectorRep (Integer32Basic, Integer32Vector, Integer32VectorBasic) END Integer32VectorRep.