An an `@example`.