32d515bca0
headers as GCC, but of their own implementation. So put the GCC ones into their own header "namespace". Requested by: ed