Symbol: ace4_mask_to_acet_mask