Right. It's less known libraries I'm worried about (libc can easily be layered over, as you've said) and more unknown ones.

In particular: there are a lot of ~universally used libraries with ludicrously complex C APIs that undergo significant own/borrow semantic changes between releases. Things like OpenSSL. These libraries will need to carry these annotations upstream for correctness and up-datedness reasons.