#! /bin/bash
# Last edited on 2008-01-19 17:54:30 by stolfi

gawk 'BEGIN{ print "OUT"; print "ERR" > "/dev/stderr"; } '  2>&1 | tee .log
echo '======================================================================'
cat .log
echo '======================================================================'