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