The text 3efe346899bf, as Debian 1.2 (Rex), Debian 1.1 (Buzz) shipped it.
get process times
times(2) on Linux now
