carta

End(3pm) on Linux

The text 9d4b2f6b60e7, as Debian 10 (Buster), Debian 9 (Stretch), Debian 8 (Jessie) shipped it.

generalized END {}.

End(3pm) on Linux now