external icsat_is_true : prop -> bool = "icsat_is_true"