More builtins
Generate header for builtins to make them usable as C functions