continued development of the AT&T KornShell
