class Heap0(val l0: Int, val l1: String)
class Heap1(val l0: Heap0, val l1: Int)
fun f_c0(v0: Heap1): (Int) -> Heap1 {
    fun body(v1: Int): Heap1 {
        return v0
    }
    return { p0: Int -> body(p0) }
}
fun spiral_main(): Int {
    var v0: Int = 0
    v0 = 7
    var v1: String = ""
    v1 = "hi"
    var v2: Heap0 = Heap0(0, "")
    v2 = Heap0(v0, v1)
    var v3: Int = 0
    v3 = 1
    var v4: Heap1 = Heap1(Heap0(0, ""), 0)
    v4 = Heap1(v2, v3)
    var v5: (Int) -> Heap1 = { _: Int -> throw RuntimeException() }
    v5 = f_c0(v4)
    var v6: Heap1 = Heap1(Heap0(0, ""), 0)
    v6 = v5(1)
    var v7: Heap0 = Heap0(0, "")
    var v8: Int = 0
    v7 = v6.l0
    v8 = v6.l1
    var v9: Int = 0
    var v10: String = ""
    v9 = v7.l0
    v10 = v7.l1
    var v11: Boolean = false
    v11 = (v9 == 7)
    var v13: Boolean = false
    if (v11) {
        var v12: Boolean = false
        v12 = (v10 == "hi")
        v13 = v12
    } else {
        v13 = false
    }
    var v15: Boolean = false
    if (v13) {
        var v14: Boolean = false
        v14 = (v8 == 1)
        v15 = v14
    } else {
        v15 = false
    }
    if (v15) {
        return 0
    } else {
        return 1
    }
}
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)
}