external icsat_d_not : prop -> prop = "icsat_d_not"