// A very simple generic interface

public interface IEnumerator[T] {
   Current : T { get; } 
   MoveNext() : bool;
   Reset() : void;
}

class X
{
  static Main () :  void
  { }
}
/*
BEGIN-OUTPUT
END-OUTPUT
*/