1cb93a386Sopenharmony_ciint invariant;
2