const cpu_set_t = system.cpu_set_t;