Looks like my previous comment here got erased:

> This pragma should go into the implementation, not the interface. (Or else building the implementation might fail.)