std.c -> core.stdc