The text a8d8797cd65d, as Debian 7 (Wheezy), Debian 6.0 (Squeeze) shipped it.
generalized END {}.
End(3pm) on Linux now
