[enh] testing on one actual HAL value