external icsat_print_statistics : unit -> unit = "icsat_print_statistics"