added kernelc semantics

both ```;``` and ```{}``` are skip statements in C, but ```;``` is faster