Symbol: CRL_DIST_POINTS_new