kframework/k — pull request #1173 by dwightguth (2014-11-12 22:31:26+00:00)
Title: more minor C semantics fixes

**do not review yet**