Add examples from spec section 11.