kframework/k — pull request #849 by yilongli (2014-08-16 15:52:15+00:00)
Title: proved kernelc list head example

@andreistefanescu please review