public void test4()
{
var h = new Holds <int>();
h.v = 2;
Contract.Assert(h.v == 2);
Contract.Assert(h.test() == 2);
}
public void test6()
{
var h = new Holds <Holds <int> >();
h.v = new Holds <int>();
h.v.v = 16;
Contract.Assert(h.test().test() == 16);
}