let main : int -> int = fun _ : int ->
    let f : ? = fun x y z -> z in
    let g : ? = fun a b -> f in
    let h : ? = fun c d e -> g in
    for i = 0 to 50000 do
        let f1 = h 1 2 3 in
        let f2 = f1 4 5 in
        let _ = f2 1 2 3 in 
        0
    done ;
    0
in
time main
