class Stack[T] {
}

class Test {
}

class T {
  static Main() :  void
  {
    mutable  _a = Nemerle.Extensions.DefaultValue (Stack[Test]); ()
  }
}
/*
BEGIN-OUTPUT
END-OUTPUT
*/