Harden configure default C program for C23 compatibility#168

xavierleroy merged 1 commit intoocaml:masterocaml/Zarith:masterfrom

MisterDA:fix-configure-c-mainMisterDA/Zarith:fix-configure-c-mainCopy head branch name to clipboard