// A generic method may also use the type parameters
// from its enclosing type.

class Stack[S]
{
  public static Hello[T] (_ : S, _ :  T) :  void
  { }
}

class X
{
   mutable  stack : Stack[int];

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