Re: fuzz testing tzcode