Symbol: cadence_nand_wait_for_value