Symbol: CRL_DIST_POINTS_free