Macro say 

macro_rules! say {
    ($($arg:tt)*) => { ... };
}

println!, stage-aware: formats and routes through say. What every direct print inside a CHECK BODY becomes — a line printed raw from a check thread bypasses the slot and interleaves, which is the bug this module exists to close.