Worked on "init state" part of C litmus tests. Added an example from cppmem - seems to correlate quite nicely. Disallowed (* comments *) in C source, since it conflicts with C syntax. Instead, you can write /* comments */.