Add examples from spec section 7.