Some more renaming to avoid shadowing.
[BearSSL] / src / int / i31_add.c
2016-11-02 Thomas PorninInitial import.