kernel32 is an official API, you're probably thinking of ntdll. CRT is the C-runtime. Not everything is written in C.
Yes, you are right, must have been thinking of ntdll.