Symbol: is_ndp