Re: [PATCH 0/4] deterministic random testing