Import examples from the test cases, so that we can reuse examples in the docs