Symbol: WRITE_COND