Better C semantics