INTERFACE I4 = 
  VectorInt(I4Rep)
END I4.