Transcribe the big example in X.690

With some changes.