added make-synthetic-identifier