Examples for #392.