The text 694247861413, as Debian 10 (Buster) shipped it.
get resource usage
getrusage(2) on Linux now
