Use a newly introduced construct in an example.