C headers which implement non-standard compiler builtins if not provided natively