ne (#1191)
(an instance of
generic exit
made by
Ibn_Khaldun
)