[Hafnium] Bug in hftest.py