Has anyone looked at Checked C?

I just ran across Checked C, a (relatively) new project by Microsoft Research aiming to enhance the C language with better static typing and runtime checks to prevent and/or detect various pointer errors that might otherwise cause trouble.

SDL being a low-level “building block” library that a lot of other programs rely on, I wonder if it might benefit from the enhancements Checked C offers?