while examples