Currently, the examples are kind of used as integration tests, but they don't have a lot of coverage. To prevent regressions such as the one reported in #1166, it would be great to have a more complete and extensible integration test suite that doesn't rely on weird shell scripts.