ちょっと修正。

<要するに VC が規格に準拠していなかっただけってオチか。

>要するに VC がタコだっただけってオチか。

ま、規格に準拠していなかったらエラーを出す必要があるとは、
謳ってないもんな・・・
その場合、確かに「未定義とする」と定義されているから、
準拠していると言えばしているが、VC がタコであることには間違いない。