Symbol: TARGET_DIF_TYPE2_PROT