public class Stack[S]
{
  public this ( _s : S)
  { }

  public Push ( _s : S) :  void
  { }
}

public class X
{
  static Main () :  void
  {
    mutable  s1 =  Stack (3);
    s1.Push (4);

    mutable  s2 =  Stack ("Hello");
    s2.Push ("Test");
  }
}
/*
BEGIN-OUTPUT
END-OUTPUT
*/