On Wed, Jan 11, 2023 at 5:20 PM Thomas Munro <thomas(dot)munro(at)gmail(dot)com> wrote:> (I don't know why you didn't make it 0)
(Oh, I see why it had to be non-zero to avoiding burning CPU, ignore that part.)