external icsat_is_not : prop -> bool = "icsat_is_not"