// Ġ! IGNORE _ FI R Ċ Ċ annotation Ġclass ĠInt Range ( val Ġfrom : ĠLong , Ġval Ġto : ĠLong ) Ċ Ċ annotation Ġclass ĠRequires Permission ( val Ġany Of : ĠInt Array ) Ċ Ċ annotation Ġclass ĠRequires Str Permission ( val Ġstr s : ĠArray < String >) Ċ Ċ annotation Ġclass ĠWith DefaultValue ( val Ġvalue : ĠInt Ġ= Ġ 4 2 ) Ċ Ċ annotation Ġclass ĠSup press Lint ( var arg Ġval Ġvalue : ĠString ) Ċ Ċ @ Requires Permission ( any Of Ġ= Ġint ArrayOf ( 1 , Ġ 2 , Ġ 3 )) Ċ @ Int Range ( from Ġ= Ġ 1 0 , Ġto Ġ= Ġ 0 ) Ċ @ With DefaultValue Ċ @ Suppress Lint (" Lorem ") Ċ fun Ġfoo (): ĠInt Ġ= Ġ 5 Ċ Ċ @ Int Range ( 0 , Ġ 1 0 0 ) Ċ @ Suppress Lint (" Lorem ", Ġ" Ip sum ", Ġ" D ol or ") Ċ fun Ġbar () Ġ= ĠUnit Ċ Ċ @ Requires Permission ( any Of Ġ= Ġ[ 1 , Ġ 2 , Ġ 3 ]) Ċ fun Ġfoo With Arr Literal (): ĠInt Ġ= Ġ 5 Ċ Ċ @ Requires Str Permission ( strs Ġ= Ġ[" a ", Ġ" b ", Ġ" c "]) Ċ fun Ġfoo With Str Arr Literal (): ĠInt Ġ= Ġ 3 Ċ