debug:  bash flag: -x