int cpucount(void);