Also don't forget that statically linked executables pull in less code than dynamically linked executables, so DISTINCT_EXECUTABLES_RUNNING*sizeof(libc) is very

Also don't forget that statically linked executables pull in less code than dynamically linked executables, so DISTINCT_EXECUTABLES_RUNNING*sizeof(libc) is very much a worst-case number rather than a typical number.