// Compiler options: -r:gen-013-lib.dll

public class X
{
   mutable  stack : Stack[int];

   Test () : void
  {
    stack.Hello (3);
  }

  static Main () :  void
  { }
}
/*

REFERENCE: gtest-013-lib.dll

BEGIN-OUTPUT
END-OUTPUT
*/