// ĠWITH _ RUNTIME Ċ data Ġclass ĠUser ( val Ġid : ĠLong , Ġval Ġname : ĠString ?) Ċ Ċ fun Ġtest ( users : ĠList < User >) Ġ{ ĊĠĠĠ Ġusers .< caret > filter Ġ{ Ġit . id Ġ> Ġ 1 Ġ}. first NotNull Of OrNull Ġ{ Ġit . name Ġ} Ċ }