pub const PROCESSOR_SET_NULL: processor_set_t = 0;