Some more examples for #16