synchronizing llvm and c exe model behaviors