new example using labeled flow control