Examples for #312.