fun box() : String {
    var i : Short?
    i = 10
    // Postfix increment on a smart casted short should work
    val j = i++

    return if (j!!.toInt() == 10 && i!!.toInt() == 11) "OK" else "fail j = $j i = $i"
}
