pub fn get_num_processors() -> u32