[jrmg]

I’d like to see a source for that too. If libc broke its ABI between OS releases there would be chaos.