BTW, while this code is just for HLT, the HLT signature is not required here. So, I can't rubber-stamp assuming the HLT have looked and will sign off.