external icsat_sat : prop -> bool = "icsat_sat"