let time ?(cout=stderr) f a =
    let init = Sys.time() in
    let b = f a in
    let delt = Sys.time() -. init in
    fprintf cout "finished in %.2f seconds\n%!" delt;
    b