[headers] "C library" fixes#8443

tkoeppe wants to merge 2 commits intomaincplusplus/draft:mainfrom

ctypecplusplus/draft:ctypeCopy head branch name to clipboard