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