Some more examples and tests