Symbol: num_processors