% cat highlight.pl | ./highlight.pl