1 – Consider a vending machine that sells soda cans that costs £5 each.
Moreover, we have only two types of coins: £1 and £2. Describe the vending machine controller in HLS.