More examples from spec.