Update c-semantics