despecialization

not defined yet