#! /bin/sh

out=${1:-/dev/null}
shift

echo $* >> $out
echo "=========" >> $out
cat - >> $out
echo "========="
echo ""
exit 0