Make the conditional jump in crush() a little bit less leaky.
But it's still leaky.