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