Microsoft's "Checked C" seems to be the last attempt to fix C security flaws.

From the outside, after Annex K adoption failure, WG14 doesn't seem to be willing to make C safer in any way.

Are there any plans to take efforts like Checked C in consideration regarding the future of ISO C?