devitrifies