class Stack[T]
{
   mutable  t : T;

  public this ( t : T)
  {
    this.t = t;
  }

  public Test () :  object
  {
    // Boxing the type parameter `T' to an object.
     t;
  }
}

class X
{
  public static Test ( stack : Stack[int]) :  object
  {
     stack.Test ();
  }

  static Main () :  void
  {
    mutable  stack =  Stack (9);
    System.Console.WriteLine (Test (stack));
  }
}
/*
BEGIN-OUTPUT
9
END-OUTPUT
*/