kframework/k — pull request #473 by dwightguth (2014-05-19 21:21:30+00:00)
Title: Unified builtins samples

@yilongli please review.