Use 1 as default value in the HAL protection so that the translation works