add some examples from the spec