shell-script-synthesis