Example: HLT bound to 1E7B