data Ġclass ĠString Pair ( val Ġfirst : ĠString , Ġval Ġsecond : ĠString ) Ċ Ċ infix Ġfun ĠString . to ( second : ĠString ) Ġ= ĠString Pair ( this , Ġsecond ) Ċ Ċ fun Ġhash Map Of ( pair : ĠString Pair ): ĠMutable Map < String , ĠString > Ġ{ Ċ <! NO _ RETURN _ IN _ FUNCTION _ WITH _ BLOCK _ BODY ! >} <! > Ċ Ċ fun ĠF () Ġ: ĠMutable Map < String , ĠString > Ġ{ ĊĠĠĠ Ġval Ġvalue : ĠString ? Ġ= Ġ" xyz " ĊĠĠĠ Ġif Ġ( value Ġ== Ġnull ) Ġthrow ĠError () ĊĠĠĠ Ġ// ĠSmart Ġcast Ġshould Ġbe Ġhere ĊĠĠĠ Ġreturn Ġhash Map Of (" sss " Ġto Ġ<! DEBUG _ INFO _ SM ART CAST !> value <! >) Ċ } Ċ