bfsh-env implemented