The text 0c8ef8ba51cc, as Debian 13 (Trixie) shipped it.
get number of processors
get_nprocs(3) on Linux now
