Maybe there's a better/shorter way of simply counting the total number of CPUs from this... Looks a bit involved to me.