Changes

and all socket buffers) and “user mem” is the memory allowed to be allocated

to processes. <code>Avnumproc</code> is the expected avarage number of processes, as used

in recommendations in [[UBC consistency check]].