Reduce example to SSCCE