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