Presumably the ``#define`` is in a particular system header. I think it would be a good idea to figure out exactly where this happens and document it (compare with Linux feature testing—see [.feature.li in config.h](https://github.com/Ravenbrook/mps-temporary/blob/master/code/config.h#L333)). There might even be a way of turning this ``#define`` off.