> slowly being piped to /dev/random.

Some are gently deallocated. Others are garbage-collected.