Re: [Hafnium] Bug in hftest.py