fun foo(s: String?): Int {
    do {
    } while (s==null)
    return s.length
}