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