INTERFACE I3 = 
  VectorInt(I3Rep)
END I3.