#!/bin/sh
cmd=${0##*/}
exec grep -E "$@"
