external icsat_get_assignment : int -> int = "icsat_get_assignment"