Small workaround for CompCert compatibility.
[BearSSL] / tools /
drwxr-xr-x   ..
-rw-r--r-- 3371 brssl.c
-rw-r--r-- 17259 brssl.h
-rw-r--r-- 5723 certs.c
-rw-r--r-- 3544 chain.c
-rw-r--r-- 26380 client.c
-rw-r--r-- 8873 errors.c
-rw-r--r-- 6777 files.c
-rw-r--r-- 1526 impl.c
-rw-r--r-- 5426 keys.c
-rw-r--r-- 27983 names.c
-rw-r--r-- 29160 server.c
-rw-r--r-- 17498 skey.c
-rw-r--r-- 17289 sslio.c
-rw-r--r-- 6935 ta.c
-rw-r--r-- 25442 twrch.c
-rw-r--r-- 2177 vector.c
-rw-r--r-- 8202 verify.c
-rw-r--r-- 2824 xmem.c