package Ġcom . type ali ans Ċ Ċ import Ġjava . util . function . Predicate Ċ Ċ public Ġtype alias Ġstr Ġ= Ġjava . lang . String Ċ Ċ fun Ġmain ( args : ĠArray < String >) Ġ{ Ċ ĉ val Ġs Ġ= Ġstr () Ċĉ Ċ } Ċ Ċ @ Target ( Annotation Target . CLASS ) Ċ annotation Ġclass ĠAction ( val Ġvalue : Annotation Retention Ġ= ĠAnnotation Retention . RUNTIME ) Ġ