The text 37cee0edcc75, as Debian 12 (Bookworm) shipped it.
get number of processors
get_nprocs(3) on Linux now
