More work on C semantics. Sample litmus tests working well.