an enhanced "break" in scala