The text 3fb5d4ff99f5, as Debian 13 (Trixie) shipped it.
get resource usage
getrusage(2) on Linux now
