&c5-pp-bash-inst; &c5-pp-bash-exp; &aa-bash-desc;