package Ġsyntax . casts Ċ Ċ fun Ġfoo ( a : ĠAny ?) Ġ{ ĊĠĠĠ Ġif Ġ( a Ġis ĠString ) Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġs Ġ= Ġa ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġif Ġ( a Ġ! is ĠInt ) Ġreturn ĊĠĠĠ Ġ// Ġsmart Ġcast ed : ĊĠĠĠ Ġa Ġ+ Ġ 2 Ċ } Ċ Ċ fun Ġsafe Cast Operator ( a : ĠAny ) Ġ{ ĊĠĠĠ Ġval Ġi : ĠInt ? Ġ= Ġa Ġas ? ĠInt Ċ } ĊĊ