impemented Bash extension
implemented definition function translation