The gcc builtins are listed [here](https://gcc.gnu.org/onlinedocs/gcc/Other-Builtins.html). Many require casts to C11 types, so this should be implemented after #5 and #6.