bool water_enabled;
bool soft_enabled;
bool tea_enabled;
chan E1, C50, OK, DOK;
chan E1_back, C50_back;
chan WATER, SOFT, TEA;
chan DWATER, DSOFT, DTEA;
broadcast chan FILLUP;
int w = 3;
int s = 3;
int t = 3;
CoinValidator// Place local declarations here.
drink_readyhave_c150have_e1have_c100have_c50idleChoicePanelhalf_idlerequest_senttea_selectedsoft_selectedwater_selectedidleWaterDispenserW0dispenseWiSoftDispenserS0dispenseSiTeaDispenserT0dispenseTiUserService
system User, CoinValidator, ChoicePanel, WaterDispenser,
SoftDispenser, TeaDispenser, Service;