kframework/k — pull request #1089 by dwightguth (2014-10-22 19:14:23+00:00)
Title: Staticstateloader

**do not review yet**