#!/bin/sh
exec ggrep -E "$@"
