Definition of Sed Non Allocatur