class Stack[S] { public Hello ( _s : S) : void { } } class X { mutable stack : Stack[int]; Test () : void { stack.Hello (3); } static Main () : void { } } /* BEGIN-OUTPUT END-OUTPUT */