Symbol: cl_def_dverify