annotation Ġclass ĠTest Ann ( val Ġx : ĠString ) Ċ Ċ fun Ġtest Fun (@ Test Ann (" test Fun . x ") Ġx : ĠInt ) Ġ{} Ċ Ċ class ĠTest Class Constructor 1 (@ Test Ann (" TestClass Constructor 1 . x ") x : ĠInt ) Ġ{ ĊĠĠĠ Ġval Ġxx Ġ= Ġx Ċ }