some fixing about syntax in c-semantics in order to fit new java engine