fun Ġfoo 1 ( a : ĠInt ?, Ġb : ĠArray < Array < Int >>) Ġ{ ĊĠĠĠ Ġb [ a !! ][ a <! UN NE C ESS ARY _ NOT _ NULL _ ASSERT ION !> !! <! >] Ġ= Ġa ĊĠĠĠ Ġa Ġ: ĠInt Ċ } Ċ Ċ fun Ġfoo 2 ( a : ĠInt ?, Ġb : ĠArray < Array < Int >>) Ġ{ ĊĠĠĠ Ġb [ 0 ][ a !! ] Ġ= Ġa ĊĠĠĠ Ġa Ġ: ĠInt Ċ } Ċ