#!/gnu/store/eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee-bash-minimal-5.0.16/bin/bash
exec grep -E "$@"
