I have reason to desire an alias for the CSH command EXIT. Since the executable version doesn't exist anywhere, I can't do: alias exit 'MY_STUFF_HERE; /usr/bin/exit' or whatever. Anyone have a solution?