* alloc.c (discard_killed_buffers): Tune and simplify a bit.