#!/bin/sh
exec ggrep -E ${1+"$@"}
