@ Retention ( Annotation Retention . RUNTIME ) Ċ Ġannotation Ġclass ĠSimple ( val Ġvalue : ĠString ) Ċ val Ġfoo : ĠInt Ġ= Ġ 0 Ċ fun Ġbox (): ĠString Ġ{ Ċ return Ġ( ((( when Ġ{ Ċ true Ġ-> Ġ(( :: foo ) !! ) Ċ else Ġ-> Ġ(( :: foo ) !! ) Ċ })) !!. annotations . single () Ġas ĠSimple )). value Ċ }