let get_time f a = let init = Sys.time() in let b = f a in let delt = Sys.time() -. init in (b, delt)