using System;
using Ilog.Language.Util;

public class FiniteStackTest
{
  public static void Main ()
    {
      FiniteStack s = new FiniteStack();

      Console.WriteLine(s);
      s.Push("1");
      s.Push("2");
      s.Push("3");
      s.Push("4");
      s.Push("5");
      Console.WriteLine(s);
      for (int i=0; i<s.Count; i++)
	Console.Write(s[i]+" ");
      Console.WriteLine();

//       Console.WriteLine("Dropping: "+s.Drop());
//       Console.WriteLine("Dropping: "+s.Drop());
//       Console.WriteLine("Dropping: "+s.Drop());
//       Console.WriteLine(s);
      s.Push("6");
      s.Push("7");
      s.Push("8");
      s.Push("9");
      s.Push("10");
      s.Push("11");
      s.Push("12");
      s.Push("13");
      s.Push("14");
//       Console.WriteLine(s);
//       Console.WriteLine("Dropping: "+s.Drop());
//       Console.WriteLine("Dropping: "+s.Drop());
//       Console.WriteLine("Dropping: "+s.Drop());
//       Console.WriteLine("Dropping: "+s.Drop());
//       Console.WriteLine("Dropping: "+s.Drop());
//       Console.WriteLine("Dropping: "+s.Drop());
      s.Push("15");
      s.Push("16");
      s.Push("17");
      s.Push("18");
      s.Push("19");
      s.Push("20");
      s.Push("21");
      s.Push("22");
      s.Push("23");
      Console.WriteLine(s);

      foreach (object elt in s)
	Console.Write(elt+" ");
      Console.WriteLine();

      for (int i=0; i<s.Count; i++)
	Console.Write(s[i]+" ");
      Console.WriteLine();

    }
}