ntdll kernel32 user32 cat.c