external icsat_finalize : unit -> unit = "icsat_finalize"