Hmm, yeah I guess the issue really is that the spec is not comprehensive enough to guarantee one specific implementation. If the spec really did translate one-to-one then the spec would really become a higher level language