test/Modules/Inputs/pch-used.h

@import cstd.stdio;
@import other_constants.dbl_max;
static inline void SPXTrace(void) { fprintf(__stderrp, ""); }