Small workaround for CompCert compatibility.
[BearSSL] / src / codec / dec32le.c
2016-11-02 Thomas PorninInitial import.