Thank you Jesse. When I read this passage, I thought naively that a
timeout raised in a get() would not be harmful: that somehow the whole
get() request would be aborted. But now I realize that it would make
things rather complicated and dangerous: the data would get dropped, and
will never be recovered by subsequent get().
So thank you for the hint, and leave the things as they are, it's better.