Except, you know what? It fails (corrupting memory!) for negative keys k.