external icsat_is_var : prop -> bool = "icsat_is_var"