copy-designator -> exported from cram-designators package