fun Ġfoo ( x : ĠNumber , Ġy : ĠString ?): ĠString Ġ{ ĊĠĠĠ Ġval Ġresult Ġ= Ġ" abc de Ġ$ x Ġ${ x Ġas ĠInt } Ġ${ y !!} Ġ$ x Ġ$ y " ĊĠĠĠ Ġ<! DEBUG _ INFO _ AUTO CAST !> x <! > Ġ: ĠInt ĊĠĠĠ Ġ<! DEBUG _ INFO _ AUTO CAST !> y <! > Ġ: ĠString ĊĠĠĠ Ġreturn Ġresult Ċ } Ċ