external icsat_initialize : unit -> unit = "icsat_initialize"