On 3/7/2014 12:00 AM, Iain Buclaw wrote: > I assume the C headers will remain strictly under core.stdc? So it > might make sense to transition core.sys -> core.stdc.sys? I think core.stdc for the Standard C headers can remain the same.