external icsat_num_arguments : prop -> int = "icsat_num_arguments"