Symbol: blockif_set_wce