Any macro that we define in a public header (including generated or interpolated headers like export or config) should be #pragma macro pushed in the prelude, and macro pop'ed in the postlude.