bool water启用；bool soft_enabled；bool tea_enabled；chan E1、C50、OK、DOK；通道E1_背面，C50_背面；chan WATER、SOFT、TEA；chan DWATER、DSOFT、DTEA；广播频道填充；整数w=3；整数s=3；整数t=3；系统用户、CoinValidator、ChoicePanel、WaterDispenser、，SoftDispenser、TeaDispenser和服务；