Re: profile.c (kernel32): API broken