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