例6-17 十字路口交通灯控制器