fun Ġfoo ( x : ĠInt ?): ĠBoolean Ġ{ ĊĠĠĠ Ġval Ġresult Ġ= Ġ(( x !! Ġ== Ġ 0 ) Ġ&& Ġ(( <! DEBUG _ INFO _ SM ART CAST !> x <! > Ġ: ĠInt ) Ġ== Ġ 0 )) ĊĠĠĠ Ġ<! DEBUG _ INFO _ SM ART CAST !> x <! > Ġ: ĠInt ĊĠĠĠ Ġreturn Ġresult Ċ } Ċ