kernel32 is an official API, you're probably thinking of ntdll. CRT is the C-runtime. Not everything is written in C.