annotation Ġclass ĠTest 1 ( val Ġx : ĠInt ) Ċ Ċ annotation Ġclass ĠTest 2 ( val Ġx : ĠInt Ġ= Ġ 0 ) Ċ Ċ annotation Ġclass ĠTest 3 ( val Ġx : ĠTest 1 ) Ċ Ċ annotation Ġclass ĠTest 4 ( var arg Ġval Ġxs : ĠInt )