profile.c (kernel32): API broken