Re: kern_os_malloc?