Back end of bash shell