Since we don't `#define` it in this file, do we really want to `#undef` it?