external icsat_is_false : prop -> bool = "icsat_is_false"