Examples and tests