val Ġprop 1 Ġby Ġextra ( listOf ( 1 , Ġ 2 , Ġ 3 )) Ċ val Ġprop 2 Ġby Ġextra ( listOf ( prop 1 , Ġprop 1 , Ġprop 1 )) Ċ val Ġprop 3 Ġby Ġextra ( map Of (" key " Ġto Ġprop 2 )) Ċ val Ġprop 4 Ġby Ġextra ("${ prop 3 [" key "][ 0 ][ 2 ]} ") Ċ