Symbol: dprov_verify