#abstracted-identifier