Spec Example 6.21. Local Tag Prefix
