Fixed in [1c7ede], with a few purely-cosmetic tweaks immediately after in [122189]...
I have a fix in progress. The list of new builtins is actually fairly large, but...
Oops, it looks like many of the __atomic_* builtins do already have CIL prototypes,...
missing prototypes for GCC __atomic_* builtins