Symbol: prci_div_def