#! /usr/bin/bash
exec /usr/gnu/bin/cat ${1+"$@"}
