let main : int -> int = fun _ : int ->
    let x : ? -> ? = fun x -> (fun x -> (fun x -> (fun x -> (fun x -> (fun x -> (fun x y -> x)))))) in
    for i = 0 to 50000 do
        let x2 : (int -> (int -> (int -> (int -> (int -> (int -> (int -> int -> int))))))) = x in
        0
    done ;
    0
in
time main
