EOF; } function printTail() { print <<