missing identifiers added to cp_pervasives