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