Symbol: NUM_RDT_OPTIONS