// Ġ" Add Ġnon - null Ġassert ed Ġ(! !) Ġcall " Ġ" true " Ċ // ĠSHO ULD _ BE _ AVAILABLE _ AFTER _ EXEC UTION Ċ // ĠERROR : ĠOnly Ġsafe Ġ( ?. ) Ġor Ġnon - null Ġassert ed Ġ(! ! .) Ġcalls Ġare Ġallowed Ġon Ġa Ġnullable Ġreceiver Ġof Ġtype ĠArray < String ?> ? Ċ Ċ fun Ġfoo ( a : ĠArray < String ?> ?): ĠString Ġ{ ĊĠĠĠ Ġreturn Ġ< caret > a [ 0 ] Ċ }