Re: [Serusers] Crash in branch_builder() with probability 1/RAND_MAX