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