a hotdog vending machine vending a hot dog