Create VendingMachine.v