End(3pm) on Linux

The text 8db33662cd33, as Debian 4.0 (Etch) shipped it.

generalized END {}.

End(3pm) on Linux now