let rec even = fun n : int -> fun k : (? -> ?) ->
    if n = 0 then
        k true
    else
        odd (n - 1) k
and odd = fun n : int -> fun k : (? -> ?) ->
    if n = 0 then
        k true
    else
        even (n - 1) k
in
let empty_k = fun k : bool -> k in

let n : int = 100000 in
print_bool (even n empty_k)
