Lines Matching refs:num_philosophers