#! /usr/bin/gawk -f
# Last edited on 2003-10-12 12:34:49 by stolfi

BEGIN{
      printf "--------------------------------------------------------------------------------\n";
}

/./{ print;       printf "--------------------------------------------------------------------------------\n";
}