I think I found a Mac kernel bug?