Symbol: TARGET_DIF_TYPE1_PROT