The text 519718e4ac20, as Debian 10 (Buster) shipped it.
get number of processors
get_nprocs(3) on Linux now