Symbol: pdc_read_counter