This pragma should go into the implementation, not the interface. (Or else building the implementation might fail.)