// Compiler options: -r:gen-13-dll.dll

public class X
{
	Stack<int> stack;

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

	static void Main ()
	{ }
}