Add some tests from the documentation