Demo for #8703