still hacking the kernel allocator