carta
time(2) on Linux
The text 6da9e71e02bf, as Debian 9 (Stretch) shipped it.
get time in seconds
time(2) on Linux now