Added redirect for c-semantics.