class Mut0(var l0: String)
fun sp_method3(p0: Mut0, p1: String) {
    var v0: Mut0 = p0
    var v1: String = p1
    var v2: String = ""
    v2 = v0.l0
    var v3: String = ""
    v3 = v2 + v1 
    v0.l0 = v3
}
fun sp_format_real_2(p0: Int): String {
    var v0: Int = p0
    var v1: String = ""
    v1 = ""
    var v2: Mut0 = Mut0("")
    v2 = Mut0(v1)
    var v3: String = ""
    v3 = (v0).toString()
    sp_method3(v2, v3)
    var v4: String = ""
    v4 = v2.l0
    return v4
}
fun sp_method1(): String {
    var v0: String = ""
    v0 = "Some"
    var v1: String = ""
    v1 = "("
    var v2: String = ""
    v2 = v0 + v1 
    var v3: Int = 0
    v3 = 1
    var v4: String = ""
    v4 = sp_format_real_2(v3)
    var v5: String = ""
    v5 = v2 + v4 
    var v6: String = ""
    v6 = ")"
    var v7: String = ""
    v7 = v5 + v6 
    return v7
}
fun sp_method0(): String {
    var v0: String = ""
    v0 = sp_method1()
    var v1: String = ""
    v1 = "x: "
    var v2: String = ""
    v2 = v1 + v0 
    return v2
}
fun spiral_main(): Int {
    var v0: String = ""
    v0 = sp_method0()
    var v1: Boolean = false
    v1 = (v0 == "")
    if (v1) {
        return 1
    } else {
        return 0
    }
}
fun main() {
    var spiral_exit_code = 0
    val spiral_thread = Thread(null, { spiral_exit_code = spiral_main() }, "spiral_main", 1L shl 30)
    spiral_thread.start()
    spiral_thread.join()
    System.exit(spiral_exit_code)
}