fun Ġfoo ( x : ĠString ): ĠString ? Ġ= Ġx Ċ Ċ fun Ġcalc ( x : ĠString ?): ĠInt Ġ{ ĊĠĠĠ Ġdo Ġ{ ĊĠĠĠĠĠĠĠ Ġ// ĠSmart Ġcast Ġbecause Ġof Ġx !! Ġin Ġreceiver ĊĠĠĠĠĠĠĠ Ġfoo ( x !! )?. sub Sequence ( 0 , Ġx . length ) ĊĠĠĠĠĠĠĠ Ġ// ĠSmart Ġcast Ġbecause Ġof Ġx !! Ġin Ġreceiver ĊĠĠĠĠĠĠĠ Ġif Ġ( x . length Ġ== Ġ 0 ) Ġbreak ĊĠĠĠ Ġ} Ġwhile Ġ( true ) ĊĠĠĠ Ġ// ĠHere Ġx Ġis Ġalso Ġnot Ġnull ĊĠĠĠ Ġreturn Ġx . length Ċ } Ċ