Add a full-check example