C Semantics in K Framework

[John Regehr <regehr AT cs.utah.edu>]

> > - the non-specific language in 6.2.5.20 (unchanged in TC3/N1256)
>
> This is the sort of language you would expect in a brief overview.

Not really.  It appears to have lead both Chucky and Xavier astray.  I 
consider them both to be good at parsing standards documents.

John