class Cell [X] { mutable value : X; } class D { static Main () : void { } } /* BEGIN-OUTPUT END-OUTPUT */