external icsat_get_argument : prop -> int -> prop = "icsat_get_argument"