Symbol: NUM_DISKS