bash-0.1.7: Bash generation library.