https://gcc.gnu.org/onlinedocs/gcc/Other-Builtins.html