actually after thinking about it this seems to be not really the same. As at the moment (and before) it was possible to even hit the allocateNormal   if (s == head)