Examples and testing