varargs & arbitrary compile times

vararg.ml

let sink (a,f) = f a

let base = ()
let finish () = ()

let step () = ()

let fold (a,f) g = g (a,f)
let step0 h (a,f) = fold (h a,f)

let f z = fold (base, finish) z

let a z = step0 step z

let () =
  let () = f
    a a a a
    a a a a
    a a a a
    a a a a
    a a a a
    a a a
    sink
  in
  ();;