let
finalize () =
icsat_finalize ()