#!/gnu/store/0k74ksc71i5yf1pad8s5cvb59wsbp54v-bash-minimal-5.2.37/bin/bash
cmd=${0##*/}
echo "$cmd: warning: $cmd is obsolescent; using grep -F" >&2
exec /gnu/store/zf9wrqq5m176xzxn1v1sk0y75a393ph0-grep-3.11/bin/grep -F "$@"
