Use proper examples and run them. These will also get picked up by `check()` and run.
Use proper examples and run them. These will also get picked up by
check()and run.